Automated Technology for Verification and Analysis

DOI10.1007/b102065zbMath1108.68501OpenAlexW3139984071MaRDI QIDQ5394189

Serge Haddad, Jean-Michel Ilié, Kais Klai

Publication date: 25 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b102065

zbMATH Keywords

OBDDAbstractionModel Checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

A novel approach for supervisor synthesis to enforce opacity of discrete event systems, A space-efficient algorithm for finding strongly connected components, MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs, Component-wise incremental LTL model checking, An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets

Uses Software

• BuDDy