Author:
Denman William,Muñoz César
Publisher
Springer International Publishing
Reference8 articles.
1. Akbarpour, B., Paulson, L.C.: MetiTarski: An automatic theorem prover for real-valued special functions. Journal of Automated Reasoning 44, 175–205 (2010)
2. Daumas, M., Lester, D., Muñoz, C.: Verified real number calculations: A library for interval arithmetic. IEEE Transactions on Computers 58(2), 226–237 (2009)
3. Di Vito, B.: A PVS prover strategy package for common manipulations. Technical Memorandum NASA/TM-2002-211647, NASA Langley Research Center (2002)
4. Muñoz, C., Carreño, V., Dowek, G., Butler, R.: Formal verification of conflict detection algorithms. International Journal on Software Tools for Technology Transfer 4(3), 371–380 (2003)
5. Muñoz, C., Mayero, M.: Real automation in the field. Contractor Report NASA/CR-2001-211271, ICASE, Langley Research Center, Hampton VA 23681-2199, USA (December 2001)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Embedding Differential Dynamic Logic in PVS;Electronic Proceedings in Theoretical Computer Science;2024-04-23
2. A Temporal Differential Dynamic Logic Formal Embedding;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Real Arithmetic in TLAPM;Lecture Notes in Computer Science;2024
4. Verification framework for control theory of aircraft;The Aeronautical Journal;2022-05-10
5. Pegasus: sound continuous invariant generation;Formal Methods in System Design;2021-01-20