Graphical modelling meets formal methods.

Stefan Gulan Sven Johr Roberto Kretschmer Stefan Rieger Michael Ditze

Published in: INDIN (2013)

Keyphrases

formal methods
formal analysis
model checking
process algebra
provably correct
artificial intelligence
formal specification
knowledge based systems
model checker
safety critical
software engineering
reactive systems
modeling language
temporal properties
knowledge base
database
formal specification language