Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014
Published in: FormaliSE (2014)
Keyphrases
- formal methods
- software engineering
- acm sigkdd
- naacl hlt
- international conference
- international workshop
- cyber security and information intelligence
- workshop on artificial intelligence
- knowledge discovery and data mining
- safety critical
- formal analysis
- human computation
- international symposium
- artificial intelligence
- acm sigmod
- model checker
- knowledge based systems
- selected papers
- formal specification
- lecture notes in artificial intelligence
- advances in artificial intelligence
- student research workshop
- process algebra
- model checking
- provably correct
- modeling language
- formal specification language
- software systems
- object oriented
- computational intelligence
- security properties
- knowledge acquisition
- invited talk
- software architecture
- knowledge base
- software development
- open source
- lecture notes