1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013, San Francisco, CA, USA, May 25, 2013
Published in: FormaliSE (2013)
Keyphrases
- formal methods
- san francisco
- software engineering
- cellular automata
- formal analysis
- software engineering practices
- model checking
- knowledge based systems
- model checker
- safety critical
- artificial intelligence
- temporal properties
- formal specification
- programming language
- provably correct
- selected papers
- stanford university
- development process
- development lifecycle
- process algebra
- software systems
- database
- design patterns
- software development
- security properties
- set theory
- reverse engineering
- data mining