On Automation of OTS/CafeOBJ Method
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2087853
- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
- Towards an automation of the circle method
- Optimizing the combined automation scheme in the ASIS basis
- scientific article; zbMATH DE number 1962762
- scientific article; zbMATH DE number 1942449
- Extensible and efficient automation through reflective tactics
- scientific article; zbMATH DE number 1086655
Cites work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- CIRC: A Behavioral Verification Tool Based on Circular Coinduction
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Constructor-Based Inductive Theorem Prover
- Constructor-based logics
- Constructor-based observational logic
- Initial semantics in logics with constructors
- Institutions: abstract model theory for specification and programming
- Logical foundations of CafeOBJ
- Logical systems for structured specifications.
- Observational logic, constructor-based logic, and their duality.
- Order-Sorted Parameterization and Induction
- Principles of proof scores in CafeOBJ
- Specifications in an arbitrary institution
Cited in
(6)- Generic proof scores for generate \& check method in CafeOBJ
- Proof scores in the OTS/CafeOBJ method.
- Principles of proof scores in CafeOBJ
- Generate \& check method for verifying transition systems in CafeOBJ
- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
- A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method
This page was built for publication: On Automation of OTS/CafeOBJ Method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403084)
