3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, FormaliSE 2015, Florence, Italy, May 18, 2015
Published in: FormaliSE (2015)
Keyphrases
- formal methods
- software engineering
- formal analysis
- artificial intelligence
- software engineering practices
- model checker
- safety critical
- process algebra
- knowledge based systems
- selected papers
- software development
- model checking
- development process
- provably correct
- software systems
- modeling language
- formal specification
- reactive systems
- high level
- language technology
- invited talk
- programming language
- databases
- multi agent systems
- building blocks
- knowledge management