This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License
VeriFlux is a formal methods based static analysis tool for programs written in Java. It is optimized for use with JamaicaVM, but can be used for any Java program. It can detect uncaught runtime exceptions, including RTSJ exceptions, and possible deadlocks in code using Java synchronization features. It has also been used for resource analysis. It can be used for both full program analysis and partial program analysis.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:programmingLanguage | |
| dbo:status |
|
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink | |
| dbp:license |
|
| dbp:name |
|
| dbp:operatingSystem |
|
| dbp:programmingLanguage | |
| dbp:status |
|
| dbp:wikiPageUsesTemplate | |
| dcterms:subject | |
| gold:hypernym | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:homepage | |
| foaf:isPrimaryTopicOf | |
| foaf:name |
|
| is dbo:product of | |
| is dbo:wikiPageWikiLink of | |
| is dbp:products of | |
| is foaf:primaryTopic of |