Two-stage agent program verification

DOI10.1093/LOGCOM/EXV002MaRDI QIDQ4612415zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 31 January 2019

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/logcom/exv002

zbMATH Keywords

model checkingSPINPrismAJPFBDI agent programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A verification framework for agent programming with declarative goals
• Verification of Protocol Conformance and Agent Interoperability
• Using theorem proving to verify properties of agent programs
• Verification of agent-based artifact systems
• Systems of agents controlled by logical programs: complexity of verification
• scientific article; zbMATH DE number 2088153
• Parameterised verification for multi-agent systems

Cited in

(4)

• Verifying Dribble agents
• Directions for agent model checking
• Using agent JPF to build models for other model checkers
• scientific article; zbMATH DE number 1759752 (Why is no real title available?)

Describes a project that uses

Uses Software

• Gwendolen
• AJPF
• MCMAS
• Java PathFinder
• AgentSpeak
• Uppaal
• SPIN
• PRISM

This page was built for publication: Two-stage agent program verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4612415)