Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking

DOI10.1007/978-3-319-44832-9_9zbMath1392.68267OpenAlexW2527706068MaRDI QIDQ4571143

Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Publication date: 6 July 2018

Published in: PRIMA 2016: Princiles and Practice of Multi-Agent Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-44832-9_9

Mathematics Subject Classification ID

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

Uses Software

• z3
• MCMAS
• MCK

Cites Work

• Deontic interpreted systems
• Computer Aided Verification
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking