Formal Methods in the Railways Signalling Industry.

Babak Dehbonei Fernando Mejia

Published in: FME (1994)

Keyphrases

formal methods
formal analysis
formal specification
model checking
artificial intelligence
safety critical
knowledge based systems
process algebra
provably correct
software engineering
model checker
temporal properties
development lifecycle
building blocks
case study
databases
reactive systems