Author:
Berezin Sergey,Barrett Clark,Shikanian Igor,Chechik Marsha,Gurfinkel Arie,Dill David L.
Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. C. Barrett. Checking Validity of Quantifier-Free Formulas in Combinations of First -Order Theories. PhD thesis, Stanford University, 2003
2. Clark Barrett and Sergey Berezin. CVC Lite: A new implementation of the cooperating validity checker. In Proceedings of the 16th International Conference on Computer Aided Verification (CAV), April 2004. To appear
3. Model Checking Partial State Spaces with 3-Valued Temporal Logics;Bruns,1999
4. A Partial Functions Version of Church's Simple Theory of Types;Farmer;The Journal of Symbolic Logic,1990
5. Multi-Valued Model-Checking via Classical Model-Checking;Gurfinkel,2003
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献