1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore
Published in: FSFMA (2013)
Keyphrases
- formal methods
- hong kong
- model checker
- safety critical
- knowledge based systems
- model checking
- formal analysis
- formal specification
- artificial intelligence
- provably correct
- software engineering
- selected papers
- higher education
- process algebra
- development lifecycle
- panel discussion
- knowledge base
- temporal properties
- invited talk
- temporal logic
- modeling language
- artificial intelligence in medicine
- national university
- formal specification language