VeriMAP
From MaRDI portal
Software:34655
swMATH22866MaRDI QIDQ34655FDOQ34655
Author name not available (Why is that?)
Cited In (13)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Horn Clause Solvers for Program Verification
- Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
- Proving correctness of imperative programs by linearizing constrained Horn clauses
- Leveraging Horn clause solving for compositional verification of PLC software
- Verification of time-aware business processes using constrained Horn clauses
- Incremental and Modular Context-sensitive Analysis
- Horn clauses as an intermediate representation for program analysis and transformation
- Removing algebraic data types from constrained Horn clauses using difference predicates
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
This page was built for software: VeriMAP
