Proof Scores in the OTS/CafeOBJ Method-Reference-Cited by-同舟云学术

Proof Scores in the OTS/CafeOBJ Method

Published:2003 Issue: Volume: Page:170-184
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ogata Kazuhiro,Futatsugi Kokichi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39958-2_12

Reference19 articles.

1. Texts and Monographs in Computer Science;D. Gries,1993

2. Goguen, J., Malcolm, G. (eds.): Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Academic Publishers, Dordrecht (2000)

3. Ogata, K., Futatsugi, K.: Formally modeling and verifying Ricart&Agrawala distributed mutual exclusion algorithm. In: APAQS 2001, pp. 357–366. IEEE CS Press, Los Alamitos (2001)

4. Ogata, K., Futatsugi, K.: Formal analysis of Suzuki&Kasami distributed mutual exclusion algorithm. In: FMOODS 2002, pp. 181–195. Kluwer Academic Publishers, Dordrecht (2002)

5. Lecture Notes in Computer Science;K. Ogata,2003

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

1. Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol;IEEE Access;2024

2. Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version;PeerJ Computer Science;2023-09-22

3. Investigation of Formal Verification of the Autonomous Vehicle Control System by Specification Translation;2023 International Technical Conference on Circuits/Systems, Computers, and Communications (ITC-CSCC);2023-06-25

4. IPSG: Invariant Proof Score Generator;2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC);2022-06

5. Theorem Proving for Maude Specifications Using Lean;Formal Methods and Software Engineering;2022