Author:
Tellez Gadi,Brotherston James
Publisher
Springer International Publishing
Reference33 articles.
1. www.github.com/ngorogiannis/cyclist/releases
2. Lecture Notes in Computer Science;J Berdine,2004
3. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker blast: applications to software engineering. Int. J. Softw. Tools Technol. Transf. 9, 505–525 (2007)
4. Bhat, G., Cleaveland, R., Grumberg, O.: Efficient on-the-fly model checking for CTL*. In: Proceedings of LICS-10, pp. 388–397. IEEE (1995)
5. Brotherston, J.: Sequent calculus proof systems for inductive definitions. Ph.D. thesis, University of Edinburgh, November 2006
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Cyclic Hypersequent System for Transitive Closure Logic;Journal of Automated Reasoning;2023-08-16
2. CycleQ: an efficient basis for cyclic equational reasoning;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Cyclic Proofs, Hypersequents, and Transitive Closure Logic;Automated Reasoning;2022
4. Abstract Cyclic Proofs;Logic, Language, Information, and Computation;2022
5. Cyclic program synthesis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18