Login / Signup
Adopting Formal Methods in an Industrial Setting: The Railways Case.
Maurice H. ter Beek
Arne Borälv
Alessandro Fantechi
Alessio Ferrari
Stefania Gnesi
Christer Löfving
Franco Mazzanti
Published in:
FM (2019)
Keyphrases
</>
formal methods
model checking
formal analysis
industrial applications
model checker
knowledge based systems
formal specification
safety critical
provably correct
artificial intelligence
expert systems
temporal properties
software engineering
petri net
development lifecycle