Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04570-7_10 ◽

2009 ◽

pp. 117-132

Author(s):

Pavel Parizek ◽

Tomas Kalibera

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Verification of MPI Java programs using software model checking

ACM SIGPLAN Notices ◽

10.1145/3016078.2851192 ◽

2016 ◽

Vol 51 (8) ◽

pp. 1-2

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Java Programs

Download Full-text

Verification of MPI Java programs using software model checking

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 ◽

10.1145/2851141.2851192 ◽

2016 ◽

Cited By ~ 1

Author(s):

Waqas Ur Rehman ◽

Muhammad Sohaib Ayub ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Software Model Checking ◽

Software Model ◽

Java Programs

Download Full-text

Model checking Java programs using structural heuristics

Proceedings of the international symposium on Software testing and analysis - ISSTA '02 ◽

10.1145/566172.566175 ◽

2002 ◽

Cited By ~ 32

Author(s):

Alex Groce ◽

Willem Visser

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Model-Checking Multi-threaded Distributed Java Programs

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_14 ◽

2000 ◽

pp. 224-244 ◽

Cited By ~ 37

Author(s):

Scott D. Stoller

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Using Runtime Analysis to Guide Model Checking of Java Programs

SPIN Model Checking and Software Verification - Lecture Notes in Computer Science ◽

10.1007/10722468_15 ◽

2000 ◽

pp. 245-264 ◽

Cited By ~ 51

Author(s):

Klaus Havelund

Keyword(s):

Model Checking ◽

Runtime Analysis ◽

Java Programs

Download Full-text

Model checking Java programs using structural heuristics

ACM SIGSOFT Software Engineering Notes ◽

10.1145/566171.566175 ◽

2002 ◽

Vol 27 (4) ◽

pp. 12-21 ◽

Cited By ~ 4

Author(s):

Alex Groce ◽

Willem Visser

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Model checking JAVA programs using JAVA PathFinder

International Journal on Software Tools for Technology Transfer ◽

10.1007/s100090050043 ◽

2000 ◽

Vol 2 (4) ◽

pp. 366-381 ◽

Cited By ~ 383

Author(s):

Klaus Havelund ◽

Thomas Pressburger

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Experience Report: Verifying MPI Java Programs Using Software Model Checking

2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2017.15 ◽

2017 ◽

Author(s):

Muhammad Sohaib Ayub ◽

Waqas Ur Rehman ◽

Junaid Haroon Siddiqui

Keyword(s):

Model Checking ◽

Experience Report ◽

Software Model Checking ◽

Software Model ◽

Java Programs

Download Full-text

Heuristic Model Checking for Java Programs

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-46017-9_21 ◽

2002 ◽

pp. 242-245 ◽

Cited By ~ 17

Author(s):

Alex Groce ◽

Willem Visser

Keyword(s):

Model Checking ◽

Heuristic Model ◽

Java Programs

Download Full-text

Bandera: a source-level interface for model checking Java programs

Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium ◽

10.1109/icse.2000.870490 ◽

2002 ◽

Cited By ~ 2

Author(s):

J.C. Corbett ◽

M.B. Dwyer ◽

J. Hatcliff

Keyword(s):

Model Checking ◽

Java Programs ◽

Source Level

Download Full-text