A Maude environment for CafeOBJ
From MaRDI portal
Publication:520244
DOI10.1007/S00165-016-0398-7zbMATH Open1358.68195OpenAlexW2535285027MaRDI QIDQ520244FDOQ520244
Adrián Riesco, Kokichi Futatsugi, Kazuhiro Ogata
Publication date: 3 April 2017
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-016-0398-7
Recommendations
Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- CIRC: A Circular Coinductive Prover
- Title not available (Why is that?)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
- K-Java: a complete semantics of Java
- Constructor-Based Inductive Theorem Prover
- A framework for defining logics
- Project Abstract: Logic Atlas and Integrator (LATIN)
- Using encryption for authentication in large networks of computers
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Title not available (Why is that?)
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Conditional rewriting logic as a unified model of concurrency
- Rewriting Modulo SMT and Open System Analysis
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- Executable structural operational semantics in Maude
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets
- Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- The rewriting logic semantics project
- Semantics and pragmatics of real-time maude
- On the security of public key protocols
- Specification and proof in membership equational logic
- Declarative debugging of rewriting logic specifications
- Language definitions as rewrite theories
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Principles of proof scores in CafeOBJ
- Constructor-based logics
- Deduction, strategies, and rewriting
- Rewriting Strategies and Strategic Rewrite Programs
- Integrating Maude into Hets
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Narrowing Based Inductive Proof Search
- Elf: A meta-language for deductive systems
- Generate & Check Method for Verifying Transition Systems in CafeOBJ
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
- The practice of logical frameworks
- Formal Methods for Open Object-Based Distributed Systems
Cited In (3)
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)
