Pages that link to "Item:Q347384"
From MaRDI portal
The following pages link to Rewriting modulo SMT and open system analysis (Q347384):
Displaying 8 items.
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executing and verifying higher-order functional-imperative programs in Maude (Q2409629) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)
- Business processes resource management using rewriting logic and deep-learning-based predictive monitoring (Q6151618) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets (Q6622141) (← links)
- Maude2Lean: theorem proving for Maude specifications using Lean (Q6643468) (← links)