qfis
loading...
DISCLAIMER: QFIS 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 QFIS to be analyzed. Please refer to the terms of use and privacy policy of QFIS. Contact support for details.
 home
'►' shortcut: Alt+B
about QFIS - a Program Verifier for Integer Sequences
QFIS is a verifier for programs annotated using a logic interpreted over integer sequences. The source code, manual, and a demo video are available at: http://se.inf.ethz.ch/people/furia/software/qfis.html
rise4fun © 2014 Microsoft Corporation - terms of use - privacy & cookies - code of conduct