Login / Signup
On the Heroism of Really Pursuing Formal Methods.
Dino Mandrioli
Published in:
FormaliSE@ICSE (2015)
Keyphrases
</>
formal methods
formal analysis
knowledge based systems
model checking
artificial intelligence
model checker
formal specification
safety critical
process algebra
provably correct
software engineering
case study
knowledge acquisition
query language
relational databases
machine learning
real world
databases