Towards making formal methods normal: meeting developers where they are.
Alastair ReidLuke ChurchShaked FlurSarah de HaasMaritza JohnsonBen LauriePublished in: CoRR (2020)
Keyphrases
- formal methods
- formal analysis
- formal specification
- open source
- model checking
- artificial intelligence
- process algebra
- knowledge based systems
- software development
- software engineering
- model checker
- provably correct
- safety critical
- reactive systems
- temporal properties
- software systems
- modeling language
- real world
- source code