Author:
Armoni Roy,Bustan Doron,Kupferman Orna,Vardi MosheY.
Publisher
Springer Berlin Heidelberg
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. From Löwenheim to PSL and SVA;Lecture Notes in Computer Science;2014
2. Lifting Verification Results for Preemption Statements;Software Engineering and Formal Methods;2013
3. An Asymptotically Correct Finite Path Semantics for LTL;Logic for Programming, Artificial Intelligence, and Reasoning;2012
4. The Theory and Practice of SALT;Lecture Notes in Computer Science;2011
5. Explaining Counterexamples Using Causality;Computer Aided Verification;2009