Formal Specification and Automatic Verification of Conditional Commitments.
Warda El KholyMohamed El-MenshawyJamal BentaharHongyang QuRachida DssouliPublished in: IEEE Intell. Syst. (2015)
Keyphrases
- formal specification
- specification languages
- model checking
- specification language
- object oriented design
- formal methods
- reverse engineering
- data abstraction
- concurrent systems
- process algebra
- multiagent systems
- protocol specification
- machine learning
- design methodologies
- model checker
- temporal logic
- knowledge acquisition
- case study
- artificial intelligence