A Formal Methods Demonstrator for Railways.

Franco Mazzanti Davide Basile

Published in: ERCIM News (2020)

Keyphrases

formal methods
formal analysis
model checker
model checking
formal specification
artificial intelligence
safety critical
knowledge based systems
european project
process algebra
provably correct
software engineering
development lifecycle
security properties
real world
case study