State Space Reduction of Rewrite Theories Using Invisible Transitions

DOI10.1007/11784180_13zbMATH Open1236.68182OpenAlexW2131207610MaRDI QIDQ3623931FDOQ3623931

Authors: Azadeh Farzan, José Meseguer 

Publication date: 28 April 2009

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11784180_13

Recommendations

• Equational abstractions for reducing the state space of rewrite theories
• scientific article; zbMATH DE number 1905121
• Abstract logical model checking of infinite-state systems using narrowing
• Symbolic Model Checking of Infinite-State Systems Using Narrowing
• Predicate abstraction of rewrite theories

Mathematics Subject Classification ID

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

Cited In (6)

• Twenty years of rewriting logic
• The rewriting logic semantics project
• Algebraic Methodology and Software Technology
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• Equational abstractions for reducing the state space of rewrite theories
• Language definitions as rewrite theories

Uses Software

• veriSoft
• Maude
• AProVE

This page was built for publication: State Space Reduction of Rewrite Theories Using Invisible Transitions

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