Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Java_Pathfinder> ?p ?o. }
Showing items 1 to 53 of
53
with 100 items per page.
- Java_Pathfinder fileSize "1.6".
- Java_Pathfinder abstract "Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005. The acronym JPF is not to be confused with the unrelated Java Plugin Framework project.The core of JPF is a Java Virtual Machine that is also implemented in Java. JPF executes normal Java bytecode programs and can store, match and restore program states. Its primary application has been Model checking of concurrent programs, to find defects such as data races and deadlocks. With its respective extensions, JPF can also be used for a variety of other purposes, including model checking of distributed applications model checking of user interfaces test case generation by means of symbolic execution low level program inspection program instrumentation and runtime monitoringJPF has no fixed notion of state space branches and can handle both data and scheduling choices.".
- Java_Pathfinder developer NASA.
- Java_Pathfinder fileSize "1600000.0".
- Java_Pathfinder genre Software_verification.
- Java_Pathfinder genre Virtual_machine.
- Java_Pathfinder latestReleaseDate "2010-11-30".
- Java_Pathfinder latestReleaseVersion "6.0".
- Java_Pathfinder license NASA_Open_Source_Agreement.
- Java_Pathfinder operatingSystem Cross-platform.
- Java_Pathfinder programmingLanguage Java_(programming_language).
- Java_Pathfinder wikiPageExternalLink jpf.
- Java_Pathfinder wikiPageExternalLink moonwalker.
- Java_Pathfinder wikiPageExternalLink JPF-issta04.pdf.
- Java_Pathfinder wikiPageExternalLink javapathfinder.html.
- Java_Pathfinder wikiPageExternalLink 05_28AR.html.
- Java_Pathfinder wikiPageID "2285583".
- Java_Pathfinder wikiPageRevisionID "561815277".
- Java_Pathfinder developer NASA.
- Java_Pathfinder genre "Software verification tool, Virtual machine".
- Java_Pathfinder hasPhotoCollection Java_Pathfinder.
- Java_Pathfinder latestReleaseDate "2010-11-30".
- Java_Pathfinder latestReleaseVersion "6".
- Java_Pathfinder license NASA_Open_Source_Agreement.
- Java_Pathfinder name "Java Pathfinder".
- Java_Pathfinder operatingSystem Cross-platform.
- Java_Pathfinder programmingLanguage Java_(programming_language).
- Java_Pathfinder size "1.6 MB".
- Java_Pathfinder website jpf.
- Java_Pathfinder wordnet_type synset-software-noun-1.
- Java_Pathfinder subject Category:Free_software_testing_tools.
- Java_Pathfinder type Abstraction100002137.
- Java_Pathfinder type Code106355894.
- Java_Pathfinder type CodingSystem106353757.
- Java_Pathfinder type Communication100033020.
- Java_Pathfinder type Software106566077.
- Java_Pathfinder type Writing106359877.
- Java_Pathfinder type WrittenCommunication106349220.
- Java_Pathfinder type Software.
- Java_Pathfinder type Work.
- Java_Pathfinder type CreativeWork.
- Java_Pathfinder type InformationEntity.
- Java_Pathfinder comment "Java Pathfinder (JPF) is a system to verify executable Java bytecode programs. JPF was developed at the NASA Ames Research Center and open sourced in 2005. The acronym JPF is not to be confused with the unrelated Java Plugin Framework project.The core of JPF is a Java Virtual Machine that is also implemented in Java. JPF executes normal Java bytecode programs and can store, match and restore program states.".
- Java_Pathfinder label "Java PathFinder".
- Java_Pathfinder label "Java Pathfinder".
- Java_Pathfinder sameAs m.070y0p.
- Java_Pathfinder sameAs Q4041803.
- Java_Pathfinder sameAs Q4041803.
- Java_Pathfinder sameAs Java_Pathfinder.
- Java_Pathfinder wasDerivedFrom Java_Pathfinder?oldid=561815277.
- Java_Pathfinder homepage jpf.
- Java_Pathfinder isPrimaryTopicOf Java_Pathfinder.
- Java_Pathfinder name "Java Pathfinder".