Jump to content

VeriFlux

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by GhostInTheMachine (talk | contribs) at 16:27, 20 April 2023 (remove invalid infobox parameter /status/). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

VeriFlux
Written inJava
Operating systemAny
LicenseCommercial
Websitewww.aicas.com/veriflux.html

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.[1] It can be used for both full program analysis and partial program analysis.

See also

References

  1. ^ James J. Hunt, Isabel Tonin, Fridtjof Siebert: Using Global Data Flow Analysis on Bytecode to Aid Worst Case Execution Time Analysis for Realtime Java Programs. JTRES 2008: 97-105
Retrieved from "https://en.wikipedia.org/w/index.php?title=VeriFlux&oldid=1150886446"