A manifesto for applicable formal methods.

Mario Gleirscher Jaco van de Pol Jim Woodcock

Published in: Softw. Syst. Model. (2023)

Keyphrases

formal methods
knowledge based systems
formal analysis
safety critical
model checking
provably correct
artificial intelligence
formal specification
process algebra
model checker
temporal properties
software engineering
reactive systems
temporal logic
user interface
data mining
database