1 |
A. Biere, A. Cimatti, E. M. Clarke, O. Strichman and Y. Zhu, 'Bounded Model Checking,' Vol.58 of Advances in Computers, 2003
|
2 |
Raja Vallee-Rai, Laurie Hendren, Vijay Sundaresan, Patrick Lam, Etienne Gagnon and Phong Co, 'Soot - a Java Optimization Framework,' 'Proceedings of CASCON 1999,' pp.125-135, 1999
|
3 |
Muchnick, 'Advanced Compiler Design & Implementation,' Morgan Kaufman, 2005
|
4 |
Niklas Een and Niklas Sorensson. 'MiniSat - a SAT solver with conflict-clause minimization'. In SAT 2005, 2005. 8
|
5 |
Lamport, L. 'How to make a multiprocessor computer that correctly executes multiprocess programs,' IEEE Transactions on Computers 9, No.29, pp.690-691, 1979
|
6 |
Jeremy Manson, William Pugh, Sarita V. Adve 'The Java Memory Model,' In the Proceedings of the POPL 2005 , pp.378-391, 2005
|
7 |
J. Gosling, B. Joy, G. Steele and G. Bracha, 'The Java Language Specification Third Edition,' Addison-Wesley, 2005
|
8 |
E. M. Clarke, O.Grumberg and D. Peled, Model Checking, MIT Press, 1999
|
9 |
W. Visser, K. Havelund, G. Brat, S. Park and F. Lerda., 'Model Checking Programs,' Automated Software Engineering Journal.Vol.10, No.2, April, 2003
|