Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B107194MaRDI QIDQ5703755zbMATH OpenOpenAlexFDO

Authors Francesco Tapparo, Francesco Ranzato

Publication date 10 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Generalized Strong Preservation by Abstract Interpretation
• Programming Languages and Systems
• scientific article; zbMATH DE number 1948410
• A Forward-Backward Abstraction Refinement Algorithm
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 1953281
• Effective interpolation and preservation in guarded logics
• Effective interpolation and preservation in guarded logics
• Comparing abstraction refinement algorithms

Cited in

(10)

• Preservation of weak SAI's under increasing transformations with applications
• Combining search space partition and abstraction for LTL model checking
• Incompleteness of states w.r.t. traces in model checking
• Generalized Strong Preservation by Abstract Interpretation
• What you lose is what you leak: information leakage in declassification policies
• Programming Languages and Systems
• Deriving Bisimulations by Simplifying Partitions
• A Forward-Backward Abstraction Refinement Algorithm
• Verification, Model Checking, and Abstract Interpretation
• Generalizing the Paige-Tarjan algorithm by abstract interpretation

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems

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