Applications of hierarchical reasoning in the verification of complex systems

DOI10.1016/J.ENTCS.2006.11.038MaRDI QIDQ2864523zbMATH OpenOpenAlexFDO

Authors Swen Jacobs, Viorica Sofronie-Stokkermans

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.11.038

zbMATH Keywords

verificationhierarchical reasoningcombinations of decision procedures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
• Hierarchical reasoning for the verification of parametric systems
• On Hierarchical Reasoning in Combinations of Theories
• Hierarchical reasoning and model generation for the verification of parametric hybrid systems
• Automated Deduction – CADE-20

Cites work

• Automated Deduction – CADE-20
• Computer Aided Verification
• Interpolation in Local Theory Extensions
• Model-theoretic methods in combined constraint satisfiability
• Modular proof systems for partial functions with Evans equality
• Simplification by Cooperating Decision Procedures
• Verification, Model Checking, and Abstract Interpretation

Cited in

(8)

• Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
• scientific article; zbMATH DE number 92605 (Why is no real title available?)
• Hierarchical reasoning for the verification of parametric systems
• On Local Reasoning in Verification
• Towards Complete Reasoning about Axiomatic Specifications
• Sheaves and geometric logic and applications to modular verification of complex systems
• Automatic verification of combined specifications: an overview
• scientific article; zbMATH DE number 1852146 (Why is no real title available?)

Describes a project that uses

Uses Software

• REDLOG

This page was built for publication: Applications of hierarchical reasoning in the verification of complex systems

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