javanni
loading...
DISCLAIMER: Javanni is a 3rd party tool offered by ETH Zurich - Chair of Software Engineering. By clicking ‘►’, you instruct rise4fun to send the source to ETH Zurich - Chair of Software Engineering’s Javanni to be analyzed. Please refer to the terms of use and privacy policy of Javanni. Contact support for details.
 home
'►' shortcut: Alt+B
about Javanni - a Verifier for JavaScript
Javanni is a verifier for JavaScript. It works by translating JavaScript to the Boogie verification language. More details of this research projects are available here: http://se.inf.ethz.ch/people/nordio/javanni
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct