Refinement preserving approximations for the design and verification of heterogeneous systems

DOI10.1007/s10703-006-0024-zzbMath1118.68498OpenAlexW2164198178WikidataQ57380515 ScholiaQ57380515MaRDI QIDQ2642667

Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli

Publication date: 17 August 2007

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-006-0024-z

zbMATH Keywords

Galois connectionApproximationHeterogeneousRefinementDiscrete timeVerificationContinuous timeAbstractionPolymorphismModel of computationAbstract interpretationConcretizationReuseConservative approximationPreserving

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

Approximating Behaviors in Embedded System Design

Cites Work

• Models for concurrency: Towards a classification
• Property preserving abstractions for the verification of concurrent systems
• Timing verification by successive approximation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Refinement preserving approximations for the design and verification of heterogeneous systems