Formal safety proof: a real case study in a railway interlocking system.

Andrea Bonacchi

Published in: ISSTA (2013)

Keyphrases

theorem prover
formal model
traffic management
database
machine learning
multi agent
theorem proving
traffic safety
real world
case study
united states
traffic accidents
safety critical
natural deduction
coal mining