Applications of hierarchical reasoning in the verification of complex systems
From MaRDI portal
Publication:2864523
DOI10.1016/J.ENTCS.2006.11.038zbMATH Open1277.68135OpenAlexW2158829089MaRDI QIDQ2864523FDOQ2864523
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
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
- Simplification by Cooperating Decision Procedures
- Modular proof systems for partial functions with Evans equality
- Interpolation in Local Theory Extensions
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Model-theoretic methods in combined constraint satisfiability
- Automated Deduction – CADE-20
Cited In (8)
- On Local Reasoning in Verification
- Sheaves and geometric logic and applications to modular verification of complex systems
- Hierarchical reasoning for the verification of parametric systems
- Title not available (Why is that?)
- Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
- Title not available (Why is that?)
- Towards Complete Reasoning about Axiomatic Specifications
- Automatic verification of combined specifications: an overview
Uses Software
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)
