On Automation of OTS/CafeOBJ Method

No abstract is available for this paper.

• Publication year

  2014

• Venue

  Specification, Algebra, and Software

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-54624-2_29
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Initial semantics in logics with constructors

  2015cited by this paper
• Constructor-Based Inductive Theorem Prover

  2013cited by this paper
• Constructor-based Logics

  2012cited by this paper
• Principles of proof scores in CafeOBJ

  2012influential reference
• Automating Coinduction with Case Analysis

  2010cited by this paper
• Order-Sorted Parameterization and Induction

  2009cited by this paper
• Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

  2009cited by this paper
• Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday

  2009cited by this paper
• CIRC: A Behavioral Verification Tool Based on Circular Coinduction

  2009cited by this paper
• Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method

  2008cited by this paper
• Decision Procedures for Equationally Based Reasoning

  2008cited by this paper
• Requirements Coverage as an Adequacy Measure for Conformance Testing

  2008cited by this paper
• All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic

  2007cited by this paper
• Constructor-based observational logic

  2006cited by this paper
• Verifying Specifications with Proof Scores in CafeOBJ

  2006cited by this paper
• Verifying Design with Proof Scores

  2005cited by this paper
• Flaw and modification of the iKP electronic payment protocols

  2003cited by this paper
• Observational logic, constructor-based logic, and their duality

  2003cited by this paper
• Behavioral verification of distributed concurrent systems with BOBJ

  2003cited by this paper
• Logical systems for structured specifications

  2002cited by this paper
• Logical foundations of CafeOBJ

  2002cited by this paper
• Circular coinductive rewriting

  2000cited by this paper
• Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

  1998cited by this paper
• Institutions: abstract model theory for specification and programming

  1992cited by this paper
• Specifications in an Arbitrary Institution

  1988cited by this paper

• Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method

  2021cites this paper
• Advances of Proof Scores in CafeOBJ

  2021cites this paper
• Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method

  2020cites this paper
• Inductive Reasoning with Equality Predicates, Contextual Rewriting and Variant-Based Simplification

  2020cites this paper
• Formal verification of Fischer’s real-time mutual exclusion protocol by the OTS/CafeOBJ method

  2020cites this paper
• Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

  2020cites this paper
• Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

  2020cites this paper
• Specification and Verification of Invariant Properties of Transition Systems

  2018influential citation
• System Modelling , Validation and Testing using Kernel P Systems

  2017influential citation
• A Constructor-Based Reachability Logic for Rewrite Theories

  2017cites this paper
• Generic Proof Scores for Generate & Check Method in CafeOBJ

  2015cites this paper
• On Combining Algebraic Specifications with First-Order Logic via Athena

  2015cites this paper
• Constructor-Based Inductive Theorem Prover

  2013cites this paper