Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

DOI10.1007/978-3-540-74128-2_7MaRDI QIDQ5423885zbMATH OpenOpenAlexFDO

Authors Alessio Lomuscio, Bożena Woźna, Andrzej Zbrzezny

Publication date 1 November 2007

Published in Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74128-2_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 2064229
• Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
• Bounded model checking for knowledge and real time
• scientific article; zbMATH DE number 2182497
• VERICS 2007 -- a model checker for knowledgee and real-time

Cited in

(5)

• Bounded model checking for deontic interpreted systems
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
• VERICS 2007 -- a model checker for knowledgee and real-time
• Logical formalism for specification of real-time multiagent systems

Describes a project that uses

Uses Software

• VerICS
• NuSMV

This page was built for publication: Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

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