Author:
Böhme Sascha,Nipkow Tobias
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Bradley, A., Manna, Z.: Property-directed incremental invariant generation. Formal Asp. Comput. 20, 379–405 (2008)
2. Lecture Notes in Computer Science;X. Huang,1994
3. Hurd, J.: First-order proof tactics in higher-order logic theorem provers. In: Archer, M., Di Vito, B., Muñoz, C. (eds.) Design and Application of Strategies/Tactics in Higher Order Logics. Number NASA/CP-2003-212448 in NASA Technical Reports, pp. 56–68 (2003)
4. Meng, J., Paulson, L.C.: Translating higher-order clauses to first-order clauses. J. Automated Reasoning 40, 35–60 (2008)
5. Meng, J., Paulson, L.C.: Lightweight relevance filtering for machine-generated resolution problems. J. Applied Logic 7, 41–57 (2009)
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A verified durable transactional mutex lock for persistent x86-TSO;Formal Methods in System Design;2024-07-31
2. Linear Termination is Undecidable;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. VST-A: A Foundationally Sound Annotation Verifier;Proceedings of the ACM on Programming Languages;2024-01-05
4. Guided Equality Saturation;Proceedings of the ACM on Programming Languages;2024-01-05
5. The Concurrent Calculi Formalisation Benchmark;Lecture Notes in Computer Science;2024