A Maude environment for CafeOBJ
From MaRDI portal
Publication:520244
DOI10.1007/s00165-016-0398-7zbMath1358.68195OpenAlexW2535285027MaRDI QIDQ520244
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
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Language definitions as rewrite theories
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
- The rewriting logic semantics project
- Semantics and pragmatics of real-time maude
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Conditional rewriting logic as a unified model of concurrency
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- Principles of proof scores in CafeOBJ
- Declarative debugging of rewriting logic specifications
- Specification and proof in membership equational logic
- Executable structural operational semantics in Maude
- K-Java
- Constructor-Based Inductive Theorem Prover
- Deduction, Strategies, and Rewriting
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets
- Rewriting Modulo SMT and Open System Analysis
- Rewriting Strategies and Strategic Rewrite Programs
- Abstract Logical Model Checking of Infinite-State Systems Using Narrowing
- Integrating Maude into Hets
- CIRC: A Circular Coinductive Prover
- On the security of public key protocols
- A framework for defining logics
- Using encryption for authentication in large networks of computers
- Narrowing Based Inductive Proof Search
- K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
- Project Abstract: Logic Atlas and Integrator (LATIN)
- 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
This page was built for publication: A Maude environment for CafeOBJ
