A Grand Challenge Proposal for Formal Methods: A Verified Stack.
J Strother MoorePublished in: 10th Anniversary Colloquium of UNU/IIST (2002)
Keyphrases
- formal methods
- grand challenge
- formal analysis
- knowledge based systems
- model checking
- software engineering
- autonomous driving
- artificial intelligence
- safety critical
- formal specification
- process algebra
- provably correct
- model checker
- development lifecycle
- formal specification language
- reactive systems
- modeling language
- business processes
- security properties
- grand challenges
- reverse engineering