Using block-local atomicity to detect stalevalue concurrency errors, Proc. ATVA 2004, pp.150-164, 2004. ,
Efficient Model Checking of Networked Applications, Proc. TOOLS EUROPE, pp.22-40, 2008. ,
DOI : 10.1007/978-3-540-69824-1_3
Cachebased model checking of networked applications: From linear to branching time, Proc. ASE 2009, pp.447-458, 2009. ,
JNuke: Efficient Dynamic Analysis for Java, Proc. CAV 2004, pp.462-465, 2004. ,
DOI : 10.1007/978-3-540-27813-9_37
Boolean and Cartesian abstractions for model checking C programs, Proc. TACAS, pp.268-285, 2001. ,
DOI : 10.1007/3-540-45319-9_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.3177
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software, Formal Methods in System Design, vol.25, issue.2/3, pp.167-198, 2004. ,
DOI : 10.1023/B:FORM.0000040027.28662.a4
Modular verification of software components in C, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.388-402, 2004. ,
DOI : 10.1109/TSE.2004.22
C hash table, 2005. ,
Model checking, 1999. ,
SATABS: SAT-Based Predicate Abstraction for ANSI-C, Proc. TACAS 2005, pp.570-574, 2005. ,
DOI : 10.1007/978-3-540-31980-1_40
Bandera, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.439-448, 2000. ,
DOI : 10.1145/337180.337234
Model checking for programming languages using VeriSoft, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.174-186, 1997. ,
DOI : 10.1145/263699.263717
The Java Language Specification, 2005. ,
Safe implementation of C pointer arithmetics by translation to Java, Computer Software, vol.26, issue.1, pp.139-154, 2009. ,
The C Programming Language, 1988. ,
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, vol.28, issue.9, pp.690-691, 1979. ,
DOI : 10.1109/TC.1979.1675439
Introduction of virtualization technology to multi-process model checking, Proc. NFM 2009, pp.106-110, 2009. ,
The Java Virtual Machine Specification, Second Edition, 1999. ,
Eiffel: the language, 1992. ,
The C++ Programming Language, Third Edition, 1997. ,
Modern operating systems, 1992. ,
Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.203-232, 2003. ,
DOI : 10.1109/ASE.2000.873645
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions, Proc. ATVA, pp.126-140, 2008. ,
DOI : 10.1007/11494881_14