Author:
Lal Akash,Kidd Nicholas,Reps Thomas,Touili Tayssir
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: POPL (2003)
2. Lecture Notes in Computer Science;T. Ball,2001
3. Ball, T., Rajamani, S.K.: Boolean programs: A model and process for software analysis. Technical Report MSR-TR-2000-14, Microsoft Research (2000)
4. Lecture Notes in Computer Science;A. Bouajjani,1997
5. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. In: POPL (2003)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Control-Flow Residual Analysis for Symbolic Automata;Electronic Proceedings in Theoretical Computer Science;2017-08-23
2. A Model-Based Approach to Combining Static and Dynamic Verification Techniques;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
3. Reducing concurrent analysis under a context bound to sequential analysis;Formal Methods in System Design;2009-07-07
4. Error propagation analysis for file systems;ACM SIGPLAN Notices;2009-05-28
5. Abstract Error Projection;Static Analysis;2007