Pages that link to "Item:Q5432339"
From MaRDI portal
The following pages link to Symbolic Model Checking of Infinite-State Systems Using Narrowing (Q5432339):
Displaying 24 items.
- State space reduction in the Maude-NRL protocol analyzer (Q462493) (← links)
- Program equivalence by circular reasoning (Q493521) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918) (← links)
- Egalitarian State-Transition Systems (Q2827838) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Generic Proof Scores for Generate & Check Method in CafeOBJ (Q2945712) (← links)
- Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784) (← links)
- A Finite Representation of the Narrowing Space (Q3453648) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- TAGED Approximations for Temporal Properties Model-Checking (Q3637350) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- Variant Narrowing and Equational Unification (Q5179131) (← links)
- Generate & Check Method for Verifying Transition Systems in CafeOBJ (Q5256348) (← links)
- Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
