Erratum: ``Verification by augmented finitary abstraction

DOI10.1006/INCO.2001.3111zbMATH Open1009.68515OpenAlexW4210654160MaRDI QIDQ1854497FDOQ1854497

Authors: Y. Keste, Amir Pnueli 

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.2001.3111

Mathematics Subject Classification ID

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

Cited In (1)

• Errata to ``75 problems for testing automatic theorem provers

This page was built for publication: Erratum: ``Verification by augmented finitary abstraction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1854497)