Applying Formal Methods in the Large.

Dominique Bolignano

Published in: ITP (2013)

Keyphrases

formal methods
formal analysis
knowledge based systems
model checking
formal specification
software engineering
safety critical
artificial intelligence
model checker
provably correct
process algebra
reactive systems
temporal properties
formal specification language
real world
machine learning