Open Questions in Formal Methods.
James Bret MichaelGeorge W. DinoltDoron DrusinskyPublished in: Computer (2020)
Keyphrases
- open questions
- formal methods
- formal analysis
- knowledge based systems
- future directions
- safety critical
- model checking
- formal specification
- software engineering
- model checker
- artificial intelligence
- provably correct
- process algebra
- development lifecycle
- security properties
- knowledge acquisition
- formal specification language
- fine grained
- building blocks
- knowledge base