Predicate Abstraction in a Program Logic Calculus
DOI10.1007/978-3-642-00255-7_10zbMATH Open1211.68257OpenAlexW2162713269MaRDI QIDQ3605465FDOQ3605465
Authors: Benjamin Weiß 
Publication date: 24 February 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00255-7_10
Recommendations
- Predicate abstraction in a program logic calculus
- Predicate abstraction of rewrite theories
- scientific article; zbMATH DE number 194642
- Predicate abstraction for program verification
- scientific article; zbMATH DE number 549957
- Predicate Abstraction via Symbolic Decision Procedures
- Computer Aided Verification
- Predicate Abstraction of Programs with Non-linear Computation
- Abstract interpretation and application to logic programs
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- Simplify: a theorem prover for program checking
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Predicate abstraction for software verification
- Dynamic Logic with Non-rigid Functions
- Title not available (Why is that?)
- Logical Interpretation: Static Program Analysis Using Theorem Proving
- Sequential, Parallel, and Quantified Updates of First-Order Structures
- Programming Languages and Systems
Cited In (18)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Set abstraction - an extension of all solutions predicate in logic programming language
- Combining Predicate Abstraction with Fixpoint Approximations
- Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL
- Predicate abstraction in a program logic calculus
- Precise quantitative information flow analysis -- a symbolic approach
- Abstract Interpretation of Symbolic Execution with Explicit State Updates
- Title not available (Why is that?)
- Necessary and Sufficient Preconditions via Eager Abstraction
- Constraint-Based Invariant Inference over Predicate Abstraction
- Predicate Abstraction with Under-approximation Refinement
- Tools and Algorithms for the Construction and Analysis of Systems
- Collecting Semantics under Predicate Abstraction in the K Framework
- Partial-predicate logic in computer science
- Interleaving symbolic execution and partial evaluation
- Programming by predicates: a formal model for interactive synthesis
- Predicate abstraction with indexed predicates
Uses Software
This page was built for publication: Predicate Abstraction in a Program Logic Calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3605465)
