Sign in
Towards formal methods diversity in railways: an experience report with seven frameworks.
Franco Mazzanti
Alessio Ferrari
Giorgio Oronzo Spagnolo
Published in:
Int. J. Softw. Tools Technol. Transf. (2018)
Keyphrases
</>
formal methods
formal analysis
model checking
model checker
safety critical
process algebra
provably correct
knowledge based systems
formal specification
artificial intelligence
temporal properties
reactive systems
formal specification language
software engineering
security properties
databases
database