gravy
Does this program contain unsafe code?
loading...
DISCLAIMER: GraVy is a 3rd party tool offered by Albert-Ludwigs-Universität Freiburg. By clicking ‘►’, you instruct rise4fun to send the source to Albert-Ludwigs-Universität Freiburg’s GraVy to be analyzed. Please refer to the terms of use and privacy policy of GraVy. Contact support for details.
 home
'►' shortcut: Alt+B
about GraVy - The Gradual Verifier
We present a gradual static verifier, GraVy. For a given piece Java of code, GraVy identifies a subset of statements for which it can prove that exceptional termination is impossible. That is, even though some statements still may terminate exceptionally, GraVy still computes a partial result. This allows us to measure the progress of static verification.
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct