Two-stage agent program verification

DOI10.1093/logcom/exv002zbMath1410.68221OpenAlexW2316566338WikidataQ98283410 ScholiaQ98283410MaRDI QIDQ4612415

No author found.

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

model checkingPrismSPINAJPFBDI agent programming

Mathematics Subject Classification ID

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

Uses Software

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

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