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

DOI10.1007/978-3-540-74128-2_7zbMath1196.68285OpenAlexW1569566513MaRDI QIDQ5423885

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

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)

Uses Software

• VerICS
• NuSMV

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