Predicate abstraction of rewrite theories

DOI10.1007/978-3-319-08918-8_5MaRDI QIDQ5170808zbMATH OpenOpenAlexFDO

Authors Kyungmin Bae, José Meseguer

Publication date 24 July 2014

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

Full work available at URL https://doi.org/10.1007/978-3-319-08918-8_5

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) 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

• Predicate Abstraction with Under-approximation Refinement
• Predicate abstraction with indexed predicates
• Verification, Model Checking, and Abstract Interpretation
• Predicate abstraction for dense real-time systems
• Abstract logical model checking of infinite-state systems using narrowing

Cited in

(16)

• State Space Reduction of Rewrite Theories Using Invisible Transitions
• Abstract logical model checking of infinite-state systems using narrowing
• Combining Predicate Abstraction with Fixpoint Approximations
• Liveness properties in CafeOBJ -- a case study for meta-level specifications
• A rewriting logic semantics for the analysis of \textsf{P} programs
• Compositional verification in rewriting logic
• DM-check: verifying invariants of concurrent systems by deductive model checking
• Programming and symbolic computation in Maude
• Predicate Abstraction with Under-approximation Refinement
• On height and happiness
• Collecting Semantics under Predicate Abstraction in the K Framework
• José Meseguer: scientist and friend extraordinaire
• Bounded model checking of multitask PLC ST programs with preemption using rewriting modulo SMT
• Predicate Abstraction in a Program Logic Calculus
• Predicate abstraction with indexed predicates
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Predicate abstraction of rewrite theories

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