scholarly journals Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets

2015 ◽  
Vol 15 (3) ◽  
pp. 73-78 ◽  
Author(s):  
A. QASIM ◽  
S. A. R. KAZMI ◽  
I. FAKHIR
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

On the Formal Specification and Verification of Multi-Agent Systems

1997 ◽  
Vol 06 (01) ◽  
pp. 37-65 ◽  
Author(s):  
Michael Fisher ◽  
Michael Wooldridge
Keyword(s):  
Programming Language ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Agent Programming ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

Sign in / Sign up

Export Citation Format

Share Document