Refinement preserving approximations for the design and verification of heterogeneous systems

DOI10.1007/S10703-006-0024-ZMaRDI QIDQ2642667zbMATH OpenOpenAlexWikidataFDO

Authors 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

Abstract interpretationAbstractionApproximationConcretizationConservative approximationContinuous timeDiscrete timeGalois connectionHeterogeneousModel of computationPolymorphismPreservingRefinementReuseVerification

Mathematics Subject Classification ID

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

Recommendations

• Approximating Behaviors in Embedded System Design
• scientific article; zbMATH DE number 1408162
• scientific article; zbMATH DE number 2080769
• scientific article; zbMATH DE number 1955910
• Embedded systems design based on formal models of computation

Cites work

• scientific article; zbMATH DE number 3476270 (Why is no real title available?)
• scientific article; zbMATH DE number 701387 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• scientific article; zbMATH DE number 2080762 (Why is no real title available?)
• scientific article; zbMATH DE number 2080769 (Why is no real title available?)
• Models for concurrency: Towards a classification
• Property preserving abstractions for the verification of concurrent systems
• Timing verification by successive approximation

Cited in

(4)

• scientific article; zbMATH DE number 1614640 (Why is no real title available?)
• Approximating Behaviors in Embedded System Design
• scientific article; zbMATH DE number 2080769 (Why is no real title available?)
• scientific article; zbMATH DE number 1408162 (Why is no real title available?)

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

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