5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017).
Stefania GnesiNico PlatHernán C. MelgrattiPublished in: FormaliSE@ICSE (2017)
Keyphrases
- formal methods
- software engineering
- model checking
- artificial intelligence
- software engineering practices
- formal analysis
- safety critical
- process algebra
- model checker
- knowledge based systems
- software development
- software systems
- language technology
- reverse engineering
- formal specification
- temporal properties
- formal specification language
- object oriented
- provably correct
- selected papers
- expert systems
- knowledge management
- security properties
- reactive systems
- software engineers
- design patterns
- real world
- access control