Author:
Nawaz M. Saqib,Nawaz M. Zohaib,Hasan Osman,Fournier-Viger Philippe,Sun Meng
Funder
Guangdong Science and Technology Department
National Natural Science Foundation of China
Publisher
Springer Science and Business Media LLC
Reference58 articles.
1. Hasan O, Tahar S (2015) Formal verification methods. In: Encyclopedia of Information Science & Technology, 3rd edn. IGI Global, pp 7162–7170
2. Kaliszyk C, Chollet F, Szegedy C (2017) Holstep: A machine learning dataset for higher-order logic theorem proving. CoRR arXiv:1703.00426
3. Slind K, Norrish M (2008) A brief overview of HOL4. In: Proceedings of International Conference on Theorem Proving in Higher Order Logics (TPHOLs), pp 28–32
4. Bertot Y, Casteran P (2004) Interactive theorem proving and program development: Coq’Art: The calculus of inductive construction. Springer Publisher
5. Owre S, Shankar N, Rushby J M, Stringer-Calvert D W J (2001) PVS System guide, PVS prover guide PVS language reference. Technical report, SRI International
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献