Publisher
Springer International Publishing
Reference10 articles.
1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L Blaauwbroek,2020
2. Dutle, A., Moscato, M., Titolo, L., Muñoz, C., Anderson, G., Bobot, F.: Formal analysis of the compact positionreporting algorithm. Formal Aspects Comput. 33(1), 65–86 (2020). https://doi.org/10.1007/s00165-019-00504-0
3. Gauthier, T., Kaliszyk, C., Urban, J.: Learning to reason with HOL4 tactics. CoRR abs/1804.00595 (2018), http://arxiv.org/abs/1804.00595
4. Masci, P., Muñoz, C.A.: An integrated development environment for the prototype verification system. In: Monahan, R., Prevosto, V., Proença, J. (eds.) Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS, vol. 310, pp. 35–49 (2019). https://doi.org/10.4204/EPTCS.310.5
5. Muñoz, C.: Batch proving and proof scripting in PVS. NIA/NASA Langley, NASA/CR-2007-214546, NIA Report No. 2007–03 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. CoqPyt: Proof Navigation in Python in the Era of LLMs;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
2. Baldur: Whole-Proof Generation and Repair with Large Language Models;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30