Back to Search Start Over

Formal Specification and Automatic Verification of Conditional Commitments.

Authors :
El Kholy, Warda
El Menshawy, Mohamed
Bentahar, Jamal
Qu, Hongyang
Dssouli, Rachida
Source :
IEEE Intelligent Systems; Mar2015, Vol. 30 Issue 2, p36-44, 9p
Publication Year :
2015

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. [ABSTRACT FROM PUBLISHER]

Subjects

Subjects :
COMPUTER logic
COMPUTER programming
LOGIC circuits
COMPUTER software
REAL-time programming

Details

Language :
English
ISSN :
15411672
Volume :
30
Issue :
2
Database :
Complementary Index
Journal :
IEEE Intelligent Systems
Publication Type :
Academic Journal
Accession number :
101733561
Full Text :
https://doi.org/10.1109/MIS.2015.6
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details