Login / Signup
An empirical research agenda for understanding formal methods productivity.
D. Ross Jeffery
Mark Staples
June Andronick
Gerwin Klein
Toby C. Murray
Published in:
Inf. Softw. Technol. (2015)
Keyphrases
</>
formal methods
model checking
formal analysis
safety critical
model checker
formal specification
provably correct
process algebra
artificial intelligence
knowledge based systems
software engineering
machine learning
software development
building blocks
knowledge structures