1 |
G. Farrari, A. Gombos, S. Hilmer, J. Stuber, 'Programming Lego Mindstorms with Java: The Ultimate Tool for Mindstorms Maniacs,' Syngress, April, 2002
|
2 |
C. Eisner 'Model checking the garbage collection mechanism of SMV', Electronic Notes in Theoretical computer Science Vol.55, Elsevier Science Publishers, 2001
DOI
ScienceOn
|
3 |
T.A. Henzinger, R. Jhala, R. Majumdar and G. Sutre, 'Lazy Abstraction,' in Proceedings of Principles of Programming Languages, pp.58-70, 2002
|
4 |
S. Charki, E.M. Clarke, A. Groce, S. Jha and H. Veith, 'Modular Verification of Software Components in C,' IEEE Transactions on Software Engineering, Vol.30, No.6, pp.388-402, 2004
DOI
ScienceOn
|
5 |
James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, Hongjun Zheng, 'Bandera: Extracting Finite-state Models from Java Source Code', in Proceedings of the 22nd International Conference on Software Engineering, June, 2000
DOI
|
6 |
E. A. Emerson, Temporal and modal logic, in the Handbook of Theoretical Computer Science: Formal Models and Semantics, J. van Leeuwen, editor, Elsevier, pp.995-1072, 1990
|
7 |
E. M. Clarke, O. Grumberg and D. Peled, Model Checking, MIT Press, 1999
|
8 |
E. M. Clarke, O. Grumberg, S. Jha, Y. Lu and H. Veith, 'Progress on the State Explosion Problem in Model Checking,'in Proceedings of 10 Years Dagstuhl, LNCS 2000, pp.154-169, 2000
|
9 |
S. Graf and H. Saidi, 'Construction of Abstraction State Graphs with PVS,' in Proceedings of Computer Aided Verification, pp.72-83, 1997
|
10 |
T. Ball, R. Majumdar, T. Millstein and S.K. Rajamani, 'Automatic Predicate Abstraction of C programs,' SIGPLAN Notices, Vol.36, No.5, pp.203-213, 2001
DOI
|