Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference28 articles.
1. Ball T, Majumdar R, Millstein T, Rajamani SK (2001) Automatic predicate abstraction of C programs. In: PLDI
2. Ball T, Rajamani S (2000) Bebop: a symbolic model checker for Boolean programs. In: SPIN
3. Berger F, Schwoon S, Suwimonteerabuth D (2005) jMoped. http://www7.in.tum.de/tools/jmoped/
4. Bouajjani A, Fratani S, Qadeer S (2007) Context-bounded analysis of multithreaded programs with dynamic linked structures. In: CAV
5. Chaki S, Clarke EM, Kidd N, Reps TW, Touili T (2006) Verifying concurrent message-passing C programs with recursive calls. In: TACAS
Cited by
101 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献