Author:
Sato Ryosuke,Kobayashi Naoki
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Lecture Notes in Computer Science;S Berezin,1998
2. Burch, J., Clarke, E.M., Long, D.: Symbolic model checking with partitioned transition relations. In: Proceedings of the IFIP TC10/WG 10.5 International Conference on Very Large Scale Integration (VLSI 1991), pp. 49–58 (1991)
3. Campos, S.V.A.: A quantitative approach to the formal verification of real-time systems. Ph.D. thesis, Carnegie Mellon University (1996)
4. Chaki, S., Gurfinkel, A.: Automated assume-guarantee reasoning for omega-regular systems and specifications. Innov. Syst. Softw. Eng. 7(2), 131–139 (2011)
5. Lecture Notes in Computer Science;JM Cobleigh,2003
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Regular language type inference with term rewriting;Proceedings of the ACM on Programming Languages;2020-08-02
2. Combining higher-order model checking with refinement type inference;Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019;2019