Recommendations
Cites work
- scientific article; zbMATH DE number 4219054 (Why is no real title available?)
- scientific article; zbMATH DE number 1543338 (Why is no real title available?)
- scientific article; zbMATH DE number 1860658 (Why is no real title available?)
- scientific article; zbMATH DE number 2110615 (Why is no real title available?)
- A framework for defining logics
- A rewriting point of view on strategies
- Abstract logical model checking of infinite-state systems using narrowing
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- CIRC: A Circular Coinductive Prover
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Conditional rewriting logic as a unified model of concurrency
- Constructor-Based Inductive Theorem Prover
- Constructor-based logics
- Declarative debugging of rewriting logic specifications
- Deduction, strategies, and rewriting
- Elf: A meta-language for deductive systems
- Executable structural operational semantics in Maude
- Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Generate \& check method for verifying transition systems in CafeOBJ
- Integrating Maude into Hets
- K-Java: a complete semantics of Java
- K-Maude: a rewriting based tool for semantics of programming languages
- Language definitions as rewrite theories
- Narrowing based inductive proof search
- On the security of public key protocols
- Principles of proof scores in CafeOBJ
- Project abstract: logic atlas and integrator (LATIN)
- Proof scores in the OTS/CafeOBJ method.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Rewriting modulo SMT and open system analysis
- Rewriting strategies and strategic rewrite programs
- Semantics and pragmatics of real-time maude
- Specification and proof in membership equational logic
- The practice of logical frameworks
- The rewriting logic semantics project
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
- Towards logical frameworks in the heterogeneous tool set Hets
- Using encryption for authentication in large networks of computers
Cited in
(3)
Describes a project that uses
Uses Software
This page was built for publication: A Maude environment for CafeOBJ
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q520244)
