Verification by augmented finitary abstraction
type: Item
instance of: scholarly article
title: Verification by augmented finitary abstraction
zbMATH Open document ID: 1003.68069
author: Amir Pnueli
author: Yonit Kesten
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1853139
MaRDI profile type: Publication
OpenAlex ID: W2027755003
cites work: Generalized temporal verification diagrams
cites work: Q4885877
cites work: Theories of automata on \(\omega\)-tapes: a simplified approach
cites work: Property preserving abstractions for the verification of concurrent systems
cites work: Q3922147
cites work: Completing the temporal picture
cites work: Q4002642
cites work: Q4490758
cites work: Synthesis of Communicating Processes from Temporal Logic Specifications
cites work: The \(\mu\)-calculus as an assertion-language for fairness arguments
cites work: Verification of concurrent programs: The automata-theoretic framework
cites work: Reasoning about infinite computations
DOI: 10.1006/INCO.2000.3000
description: scientific article; zbMATH DE number 1853139