Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/VeriFlux> ?p ?o }
Showing triples 1 to 43 of
43
with 100 triples per page.
- VeriFlux abstract "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.".
- VeriFlux programmingLanguage Java_(programming_language).
- VeriFlux status "Active".
- VeriFlux wikiPageExternalLink www.aicas.com.
- VeriFlux wikiPageExternalLink veriflux.html.
- VeriFlux wikiPageID "30432250".
- VeriFlux wikiPageLength "1506".
- VeriFlux wikiPageOutDegree "11".
- VeriFlux wikiPageRevisionID "519920206".
- VeriFlux wikiPageWikiLink Aicas.
- VeriFlux wikiPageWikiLink Category:Static_program_analysis_tools.
- VeriFlux wikiPageWikiLink Data-flow_analysis.
- VeriFlux wikiPageWikiLink Embedded_Java.
- VeriFlux wikiPageWikiLink Formal_methods.
- VeriFlux wikiPageWikiLink JamaicaVM.
- VeriFlux wikiPageWikiLink Java_(programming_language).
- VeriFlux wikiPageWikiLink Real_time_Java.
- VeriFlux wikiPageWikiLinkText "VeriFlux".
- VeriFlux license "Commercial".
- VeriFlux name "VeriFlux".
- VeriFlux operatingSystem "Any".
- VeriFlux programmingLanguage Java_(programming_language).
- VeriFlux status "Active".
- VeriFlux website www.aicas.com.
- VeriFlux wikiPageUsesTemplate Template:Infobox_Software.
- VeriFlux subject Category:Static_program_analysis_tools.
- VeriFlux hypernym Methods.
- VeriFlux type Software.
- VeriFlux type Work.
- VeriFlux type Tool.
- VeriFlux type CreativeWork.
- VeriFlux type Thing.
- VeriFlux type Q386724.
- VeriFlux type Q7397.
- VeriFlux comment "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.".
- VeriFlux label "VeriFlux".
- VeriFlux sameAs Q7921298.
- VeriFlux sameAs m.0g5t1t4.
- VeriFlux sameAs Q7921298.
- VeriFlux wasDerivedFrom VeriFlux?oldid=519920206.
- VeriFlux homepage www.aicas.com.
- VeriFlux isPrimaryTopicOf VeriFlux.
- VeriFlux name "VeriFlux".