Software engineering and formal methods: SEFM 2019 special section.
Peter Csaba ÖlveczkyGwen SalaünPublished in: Softw. Syst. Model. (2021)
Keyphrases
- formal methods
- special section
- software engineering
- formal analysis
- special issue
- model checking
- artificial intelligence
- provably correct
- knowledge based systems
- model checker
- programming language
- formal specification
- award winning
- reactive systems
- software systems
- safety critical
- temporal properties
- reverse engineering
- software development
- object oriented
- process algebra
- software engineers
- development process
- temporal logic
- high level
- information systems