✦ LIBER ✦

Heuristics for model checking Java programs

✍ Scribed by Alex Groce; Willem Visser

Publisher: Springer
Year: 2004
Tongue: English
Weight: 535 KB
Volume: 6
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-003-0130-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model checking JAVA programs using JAVA

Model checking JAVA programs using JAVA PathFinder

✍ Klaus Havelund; Thomas Pressburger 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 253 KB

Model-checking multi-threaded distribute

Model-checking multi-threaded distributed Java programs

✍ Scott D. Stoller 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 371 KB

Specifying and checking method call sequ

Specifying and checking method call sequences of Java programs

✍ Yoonsik Cheon; Ashaveena Perumandla 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 531 KB

Slicing Event Spaces: Towards a Java Pro

Slicing Event Spaces: Towards a Java Programs Checking Framework

✍ Néstor Cataño 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 194 KB

Java event spaces are partial orders of memory and thread actions as generated by a multi-threaded Java program in execution. This paper shows how standard techniques of slicing can be used to reduce the size of Java event spaces. Furthermore, we face the problem that arises when two or more variabl

Heuristics for constructing logic progra

Heuristics for constructing logic programs

✍ Ahmed Ferchichi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 879 KB

Boolean and Cartesian abstraction for mo

Boolean and Cartesian abstraction for model checking C programs

✍ Thomas Ball; Andreas Podelski; Sriram K. Rajamani 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 215 KB