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

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

In this study we have formally specified and verified the actions of communicating real-time software agents (RTAgents). Software agents are expected to work autonomously and deal with unfamiliar situations astutely. Achieving cent percent test cases coverage for these agents has always been a pr...

Full description

Bibliographic Details
Main Authors: QASIM, A., KAZMI, S. A. R., FAKHIR, I.
Format: Article
Language:English
Published: Stefan cel Mare University of Suceava 2015-08-01
Series:Advances in Electrical and Computer Engineering
Subjects:
formal specifications
formal verification
multiagent systems
Petri nets
real time systems
Online Access:http://dx.doi.org/10.4316/AECE.2015.03010

Similar Items

Similar Items