Formal Methods: Oversold? Underused? A Survey.

Mario Gleirscher Diego Marmsoler

Published in: CoRR (2018)

Keyphrases

formal methods
formal analysis
safety critical
model checker
formal specification
knowledge based systems
process algebra
temporal properties
artificial intelligence
provably correct
model checking
software engineering
modeling language
case study
formal specification language
production system
databases