Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method-Reference-Cited by-同舟云学术

Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method

Published:2008-03 Issue: Volume:201 Page:127-154
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Ogata Kazuhiro,Futatsugi Kokichi

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference17 articles.

1. The B Book – Assigning Programs to Meanings;Abrial,1996

2. Abrial, J.-R., Refinement, decomposition and instantiation of discrete models, in: 12th International Workshop on Abstract State Machines (12th ASM), 2005, pp. 17–40

3. Using Z: Specification, Refinement, and Proof;Davies,1996

4. CafeOBJ report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification;Diaconescu,1998

5. Behavioural coherence in object-oriented algebraic specification;Diaconescu;Journal of Universal Computer Science,2000

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifying Invariants by Deductive Model Checking;Lecture Notes in Computer Science;2024

2. Parallel Specification-Based Testing for Concurrent Programs;IEEE Access;2022

3. Specifying and Model Checking Distributed Control Algorithms at Meta-level;The Computer Journal;2021-09-22

4. Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method;IEEE Access;2021

5. A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude;Structured Object-Oriented Formal Language and Method;2020