Rewriting Modulo SMT and Open System Analysis
From MaRDI portal
Publication:2945139
DOI10.1007/978-3-319-12904-4_14zbMath1367.68151OpenAlexW1462102326MaRDI QIDQ2945139
José Meseguer, Camilo Rocha, César A. Muñoz
Publication date: 9 September 2015
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2142/91638
Related Items (15)
Sentence-normalized conditional narrowing modulo in rewriting logic and Maude ⋮ Rewriting modulo SMT and open system analysis ⋮ Executing and verifying higher-order functional-imperative programs in Maude ⋮ Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis ⋮ Two Decades of Maude ⋮ Verifying Reachability-Logic Properties on Rewriting-Logic Specifications ⋮ A generic framework for symbolic execution: a coinductive approach ⋮ Strict coherence of conditional rewriting modulo axioms ⋮ A Maude environment for CafeOBJ ⋮ All-Path Reachability Logic ⋮ Modeling and analyzing mobile ad hoc networks in Real-Time Maude ⋮ Normal forms and normal theories in conditional rewriting ⋮ Language definitions as rewrite theories ⋮ Generalized rewrite theories, coherence completion, and symbolic methods ⋮ Debugging Maude programs via runtime assertion checking and trace slicing
Uses Software
This page was built for publication: Rewriting Modulo SMT and Open System Analysis
