DISCLAIMER: Boogaloo 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 Boogaloo to be analyzed. Please refer to the terms of use and privacy policy of Boogaloo. Contact support for details.
'►' shortcut: Alt+B
about Boogaloo - the Boogie Interpreter
An interpreter and run-time assertion checker for the Boogie verification language. Boogaloo helps you understand failed verification attempts, debug Boogie programs and test translations. Want to learn more? Check out the wiki at:
rise4fun © 2015 Microsoft Corporation - terms of use - privacy & cookies - code of conduct