Funder
Fundamental Research Funds for the Central Universities
Natural Science Foundation of China
Reference43 articles.
1. Model Checking;Clarke,1999
2. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic,1993
3. Logic for Computer Science: Foundations of Automatic Theorem Proving;Gallier,1985
4. Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement;Althaus;Sci. Comput. Program.,2017
5. Compositional assume–guarantee reasoning for input/output component theories;Chilton;Sci. Comput. Program.,2014
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献