Formal Methods Group ETH Zürich.

Armin Biere Cyrille Artho Malek Haroud Viktor Schuppan

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

formal methods
safety critical
model checking
formal analysis
software engineering
knowledge based systems
artificial intelligence
formal specification
model checker
provably correct
process algebra
temporal properties
real world
development lifecycle
database
temporal logic
modeling language
open source
high level