Java Pathfinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker developed by NASA.

PropertyValue
dbpedia-owl:Software/developer
dbpedia-owl:Software/license
dbpedia-owl:Work/genre
dbpedia-owl:developer
dbpedia-owl:genre
dbpedia-owl:license
dbpprop:abstract
  • Java Pathfinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker developed by NASA.
dbpprop:developer
dbpprop:genre
dbpprop:hasPhotoCollection
dbpprop:latestReleaseDate
dbpprop:latestReleaseVersion
  • 1.0a
dbpprop:license
dbpprop:name
  • Java Pathfinder
dbpprop:operatingSystem
dbpprop:reference
dbpprop:website
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
rdf:type
rdfs:comment
  • Java Pathfinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an explicit state software model checker developed by NASA.
rdfs:label
  • Java Pathfinder
owl:sameAs
skos:subject
foaf:homepage
foaf:name
  • Java Pathfinder
foaf:page
is dbpprop:disambiguates of
is owl:sameAs of