Formal methods for transport systems.

Maurice H. ter Beek Stefania Gnesi Alexander Knapp

Published in: Int. J. Softw. Tools Technol. Transf. (2018)

Keyphrases

formal methods
transport systems
formal analysis
safety critical
model checking
formal specification
knowledge based systems
provably correct
model checker
artificial intelligence
software engineering
reactive systems
security properties
databases
temporal logic