Module checking

DOI10.1006/inco.2000.2893zbMath1003.68071MaRDI QIDQ1854407

Moshe Y. Vardi, Orna Kupferman, Pierre Wolper

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2000.2893

Mathematics Subject Classification ID

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

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

03B44: Temporal logic

Uses Software

• CESAR