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

Article English OPEN
QASIM, A.; KAZMI, S. A. R.; FAKHIR, I.;
(2015)
  • Publisher: Stefan cel Mare University of Suceava
  • Journal: Advances in Electrical and Computer Engineering (issn: 1582-7445, eissn: 1844-7600)
  • Publisher copyright policies & self-archiving
  • Related identifiers: doi: 10.4316/AECE.2015.03010
  • Subject: formal specifications | formal verification | multiagent systems | Petri nets | real time systems | Electrical engineering. Electronics. Nuclear engineering | TK1-9971 | Computer engineering. Computer hardware | TK7885-7895

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 fo... View more
Share - Bookmark