Pages that link to "Item:Q997833"
From MaRDI portal
The following pages link to All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833):
Displaying 29 items.
- Detection and diagnosis of deviations in distributed systems of autonomous agents (Q5889310) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- The Maude strategy language (Q6113021) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
- Local confluence of conditional and generalized term rewriting systems (Q6151615) (← links)
- Formal modeling of multi-viewpoint ontology alignment by mappings composition (Q6152842) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- QMaude: quantitative specification and verification in rewriting logic (Q6174537) (← links)
- Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
- Symbolic analysis and parameter synthesis for time Petri nets using Maude and SMT solving (Q6535202) (← links)
- Runtime enforcement using knowledge bases (Q6535223) (← links)
- An environment for specifying and model checking mobile ring robot algorithms (Q6536330) (← links)
- Automated quantum program verification in dynamic quantum logic (Q6546614) (← links)
- CRYSTAL framework: cybersecurity assurance for cyber-physical systems (Q6561338) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)
- Building correct-by-construction systems with formal patterns (Q6562511) (← links)
- Runtime composition of systems of interacting cyber-physical components (Q6562520) (← links)
- SpeX: a rewriting-based formal specification environment (Q6562521) (← links)
- Generating symmetric and alternating groups (Q6580180) (← 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)
- A semantic model for interacting cyber-physical systems (Q6649543) (← links)
- Transforming concurrent programs with semaphores into logically constrained term rewrite systems (Q6671788) (← links)
- Formalization and analysis of the post-quantum signature scheme FALCON with Maude (Q6671789) (← links)
