A Manifesto for Applicable Formal Methods.

Mario Gleirscher Jaco van de Pol Jim Woodcock

Published in: CoRR (2021)

Keyphrases

formal methods
formal analysis
model checking
safety critical
provably correct
knowledge based systems
formal specification
temporal properties
model checker
artificial intelligence
security properties
reactive systems
development lifecycle
software engineering
machine learning
process algebra
open source