DocumentCode
12164
Title
Formal Specification and Automatic Verification of Conditional Commitments
Author
El Kholy, Warda ; El Menshawy, Mohamed ; Bentahar, Jamal ; Hongyang Qu ; Dssouli, Rachida
Volume
30
Issue
2
fYear
2015
fDate
Mar.-Apr. 2015
Firstpage
36
Lastpage
44
Abstract
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.
Keywords
formal logic; formal specification; formal verification; multi-agent systems; protocols; user interfaces; agents; commitment protocols; conditional commitment automatic verification; conditional logic; formal specification; model checker; user interface; Conditional logic; Formal verification; Intelligent systems; Model checking; Semantics; compliance; intelligent systems; model-checker; strong (classical) commitments;
fLanguage
English
Journal_Title
Intelligent Systems, IEEE
Publisher
ieee
ISSN
1541-1672
Type
jour
DOI
10.1109/MIS.2015.6
Filename
7006389
Link To Document