1st FME workshop on formal methods in software engineering (FormaliSE 2013).
Stefania GnesiNico PlatPublished in: ICSE (2013)
Keyphrases
- formal methods
- software engineering
- software engineering practices
- artificial intelligence
- model checking
- safety critical
- formal analysis
- knowledge based systems
- process algebra
- formal specification
- software development
- development process
- object oriented
- software systems
- programming language
- model checker
- provably correct
- reactive systems
- language technology
- database
- case study
- selected papers
- temporal properties
- security properties
- software engineers
- reverse engineering