A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

DOI10.1007/978-3-540-74128-2_1zbMath1196.68127OpenAlexW1533911631WikidataQ62041335 ScholiaQ62041335MaRDI QIDQ5423879

Alessandro Cimatti, Marco Bozzano, Piergiorgio Bertoli

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_1

Mathematics Subject Classification ID

Synthesis problems (93B50) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• MiniSat
• NuSMV

This page was built for publication: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis