Publication:2754093
From MaRDI portal
zbMath0974.68520MaRDI QIDQ2754093
K. L. McMillan, James B. Saxe, Shaz Qadeer
Publication date: 17 December 2001
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems, An automatic abstraction technique for verifying featured, parameterised systems, Automated formal analysis and verification: an overview, An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
Uses Software