Symbolic Model Checking of Logics with Actions

DOI10.1007/978-3-540-74128-2_8zbMath1196.68288OpenAlexW1874424006MaRDI QIDQ5423886

Charles Pecheur, Franco Raimondi

Publication date: 1 November 2007

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

Full work available at URL: http://discovery.ucl.ac.uk/5625/1/5625.pdf

Mathematics Subject Classification ID

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

Related Items (2)

Model checking temporal properties of reaction systems ⋮ A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

Uses Software

• NuSMV

This page was built for publication: Symbolic Model Checking of Logics with Actions