Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Java_Pathfinder> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples 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 Apache_License.
- 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 wikiPageLength "6491".
- Java_Pathfinder wikiPageOutDegree "23".
- Java_Pathfinder wikiPageRevisionID "703534847".
- Java_Pathfinder wikiPageWikiLink Ames_Research_Center.
- Java_Pathfinder wikiPageWikiLink Apache_License.
- Java_Pathfinder wikiPageWikiLink Category:Free_software_testing_tools.
- Java_Pathfinder wikiPageWikiLink Combinatorial_explosion.
- Java_Pathfinder wikiPageWikiLink Concurrent_computing.
- Java_Pathfinder wikiPageWikiLink Cross-platform.
- Java_Pathfinder wikiPageWikiLink Deadlock.
- Java_Pathfinder wikiPageWikiLink Exception_handling.
- Java_Pathfinder wikiPageWikiLink Java_(programming_language).
- Java_Pathfinder wikiPageWikiLink Java_(software_platform).
- Java_Pathfinder wikiPageWikiLink Java_Native_Interface.
- Java_Pathfinder wikiPageWikiLink Java_bytecode.
- Java_Pathfinder wikiPageWikiLink Java_virtual_machine.
- Java_Pathfinder wikiPageWikiLink Model_checking.
- Java_Pathfinder wikiPageWikiLink NASA.
- Java_Pathfinder wikiPageWikiLink Partial_order_reduction.
- Java_Pathfinder wikiPageWikiLink Race_condition.
- Java_Pathfinder wikiPageWikiLink Software_verification.
- Java_Pathfinder wikiPageWikiLink Thread_(computing).
- Java_Pathfinder wikiPageWikiLink Virtual_machine.
- Java_Pathfinder wikiPageWikiLinkText "Java Pathfinder".
- Java_Pathfinder developer NASA.
- Java_Pathfinder genre "Software verification tool, Virtual machine".
- Java_Pathfinder latestReleaseDate "2010-11-30".
- Java_Pathfinder latestReleaseVersion "6".
- Java_Pathfinder license Apache_License.
- 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 wikiPageUsesTemplate Template:Infobox_Software.
- Java_Pathfinder wikiPageUsesTemplate Template:Release_date.
- Java_Pathfinder subject Category:Free_software_testing_tools.
- Java_Pathfinder hypernym System.
- Java_Pathfinder type Software.
- Java_Pathfinder type Work.
- Java_Pathfinder type CreativeWork.
- Java_Pathfinder type Thing.
- Java_Pathfinder type Q386724.
- Java_Pathfinder type Q7397.
- 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 sameAs Q4041803.
- Java_Pathfinder sameAs m.070y0p.
- Java_Pathfinder sameAs Java_PathFinder.
- Java_Pathfinder sameAs Q4041803.
- Java_Pathfinder wasDerivedFrom Java_Pathfinder?oldid=703534847.
- Java_Pathfinder homepage jpf.
- Java_Pathfinder isPrimaryTopicOf Java_Pathfinder.
- Java_Pathfinder name "Java Pathfinder".