Login / Signup
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