Continuous Reasoning: Scaling the impact of formal methods.

Peter W. O'Hearn

Published in: LICS (2018)

Keyphrases

formal methods
knowledge based systems
safety critical
formal analysis
model checking
knowledge base
model checker
formal specification
software engineering
artificial intelligence
temporal properties
provably correct
process algebra
production rules
case study
security properties
formal specification language