Matches in DBpedia 2014 for { <http://dbpedia.org/resource/VeriFlux> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items 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 wikiPageRevisionID "519920206".
- VeriFlux hasPhotoCollection VeriFlux.
- VeriFlux license "Commercial".
- VeriFlux name "VeriFlux".
- VeriFlux operatingSystem "Any".
- VeriFlux programmingLanguage Java_(programming_language).
- VeriFlux status "Active".
- VeriFlux website www.aicas.com.
- VeriFlux subject Category:Static_program_analysis_tools.
- VeriFlux type Abstraction100002137.
- VeriFlux type Code106355894.
- VeriFlux type CodingSystem106353757.
- VeriFlux type Communication100033020.
- VeriFlux type Software106566077.
- VeriFlux type Writing106359877.
- VeriFlux type WrittenCommunication106349220.
- VeriFlux type Software.
- VeriFlux type Work.
- VeriFlux type CreativeWork.
- VeriFlux type InformationEntity.
- 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 m.0g5t1t4.
- VeriFlux sameAs Q7921298.
- VeriFlux sameAs Q7921298.
- VeriFlux sameAs VeriFlux.
- VeriFlux wasDerivedFrom VeriFlux?oldid=519920206.
- VeriFlux homepage www.aicas.com.
- VeriFlux isPrimaryTopicOf VeriFlux.
- VeriFlux name "VeriFlux".