More Automated Formal Methods?! If so, why, where & how?

Arun Chakrapani Rao

Published in: AFM@NFM (2017)

Keyphrases

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