Formal Methods in Computer-Aided Design

DOI10.1007/b102264zbMath1117.68423OpenAlexW4229585471MaRDI QIDQ5492994

Ching-Tsun Chou, Seung Joon Park, Phamndra K. Mannava

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

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

Related Items (6)

Model Checking Parameterized Systems ⋮ Synthesizing history and prophecy variables for symbolic model checking ⋮ An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Universal invariant checking of parametric systems with quantifier-free SMT reasoning

Uses Software

• Cadence SMV

This page was built for publication: Formal Methods in Computer-Aided Design