Formal Methods Communities of Practice: A Survey of Personal Experience.
Jonathan P. BowenPeter T. BreuerPublished in: SEFM Workshops (2021)
Keyphrases
- formal methods
- personal experience
- formal analysis
- model checking
- personal experiences
- process algebra
- knowledge based systems
- software engineering
- safety critical
- social network analysis
- formal specification
- social networks
- provably correct
- model checker
- artificial intelligence
- temporal logic
- reactive systems
- temporal properties
- complex networks
- fine grained
- expert systems
- database
- development lifecycle
- formal specification language