Erratum: ``Verification by augmented finitary abstraction

DOI10.1006/INCO.2001.3111zbMath1009.68515OpenAlexW4210654160MaRDI QIDQ1854497

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)

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