The following pages link to Twenty years of rewriting logic (Q1931904):
Displaying 6 items.
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- Automated quantum program verification in dynamic quantum logic (Q6546614) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← 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)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
