ITP
From MaRDI portal
Cited in
(59)- KeY-C
- ROSMonitoring
- Marathon 2
- Jakarta
- JavaFAN
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- LETOS
- OBJ3
- CafeOBJ
- Maude
- Principles of proof scores in CafeOBJ
- Twenty years of rewriting logic
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
- MMT
- PMaude
- PVeStA
- MultiVeStA
- MFE
- ChC 3
- CRC 3
- MTT
- SCC
- DDebugger
- MOMENT2
- CARIBOO
- PSMaude
- Proving semantic properties as first-order satisfiability
- Programming and symbolic computation in Maude
- Maude-NPA
- Metalevel algorithms for variant satisfiability
- A modular order-sorted equational generalization algorithm
- Verification of the ROS NavFn planner using executable specification languages
- Metalevel algorithms for variant satisfiability
- A tutorial on specifying data structures in Maude
- The rewriting logic semantics project
- Typed mobile ambients in Maude
- Deduction, strategies, and rewriting
- On First-Order Model-Based Reasoning
- Integrating Maude into Hets
- A hierarchy of semantics for non-deterministic term rewriting systems
- ModGen
- TAMARIN
- A Modular Equational Generalization Algorithm
- CITP
- Refal
- Sufficient completeness verification for conditional and constrained TRS
- Java+ITP
- infChecker
- A metamodel of access control for distributed environments: applications and properties
- Constructors, sufficient completeness, and deadlock freedom of rewrite theories
- Order-sorted generalization
- Proof Search for the First-Order Connection Calculus in Maude
- Theoretical Aspects of Computing – ICTAC 2005
- Term Rewriting and Applications
- Algebraic simulations
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- The rewriting logic semantics project
- Equational abstractions
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
This page was built for software: ITP
