Introducing Binary Decision Diagrams in the explicit-state verification of Java code
Conference paper
von Rhein, A., Apel, S. and Raimondi, F. 2011. Introducing Binary Decision Diagrams in the explicit-state verification of Java code. The Java Pathfinder Workshop (co-located with ASE 2011). Oread, Lawrence, Kansas 12 Nov 2011
Type | Conference paper |
---|---|
Title | Introducing Binary Decision Diagrams in the explicit-state verification of Java code |
Authors | von Rhein, A., Apel, S. and Raimondi, F. |
Abstract | One of the big performance problems of software model checking is the state-explosion problem. Various tools exist to tackle this problem. One of such tools is Java Pathfinder (JPF) an explicit-state model checker for Java code that has been used to verify efficiently a number of real applications. |
Conference | The Java Pathfinder Workshop (co-located with ASE 2011) |
Publication dates | |
2011 | |
Publication process dates | |
Deposited | 23 Apr 2015 |
Output status | Published |
Copyright Statement | Access to full text restricted pending copyright check. |
Language | English |
https://repository.mdx.ac.uk/item/850y4
Restricted files
File
48
total views0
total downloads1
views this month0
downloads this month