Formal Specification and Automatic Verification of Conditional Commitments

Warda El Kholy, Mohamed El Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Research output: Contribution to journalArticlepeer-review

8 Scopus citations


Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.

Original languageBritish English
Article number7006389
Pages (from-to)36-44
Number of pages9
JournalIEEE Intelligent Systems
Issue number2
StatePublished - 1 Mar 2015


  • compliance
  • intelligent systems
  • model-checker
  • strong (classical) commitments


Dive into the research topics of 'Formal Specification and Automatic Verification of Conditional Commitments'. Together they form a unique fingerprint.

Cite this