Author:
Găină Daniel,Lucanu Dorel,Ogata Kazuhiro,Futatsugi Kokichi
Publisher
Springer Berlin Heidelberg
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. NuITP: An Inductive Theorem Prover for Equational Program Verification;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. Advances of proof scores in CafeOBJ;Science of Computer Programming;2022-12
3. Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method;International Journal of Software Engineering and Knowledge Engineering;2021-12
4. Advances of Proof Scores in CafeOBJ : Invited Paper;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
5. Specification and verification of multitask real-time systems using the OTS/CafeOBJ method;IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences;2021