Filewatcher File Search File Search
Catalog
Content Search
» » » » »

why3

Software verification platform

Why3 is the next generation of the Why software verification platform. Why3 clearly separates the purely logical specification part from generation of verification conditions for programs. It features a rich library of proof task transformations that can be chained to produce a suitable input for a large set of theorem provers, including SMT solvers, TPTP provers, as well as interactive proof assistants.
Homepage:
Package version:0.71
Architecture:i686
Distribution:Fedora
Filename:why3-0.71-2.fc17.i686.rpm

/usr/share/doc/why3-0.71/README


Why3 is a tool for automated and interactive proving in first-order
polymorphic logic. It provides a collection of command-line tools, a
graphical interface and an Objective Caml library.

PROJECT HOME
============

https://gforge.inria.fr/projects/why3

DOCUMENTATION
=============

The documentation (a tutorial and a reference manual) is in
the file doc/manual.pdf.

Various examples can be foun
more»

/usr/share/man/man1/why3-cpulimit.1.gz

WHY3-CPULIMIT(1)            User Commands           WHY3-CPULIMIT(1)



NAME
       why3-cpulimit  -  run  a  command with CPU and virtual memory
       limits

SYNOPSIS
       why3-cpulimit TIME MEMORY -h|-s command args...

DESCRIPTION
       Run a command with CPU and virtual memory limits.  One of  -h
       or  -s must be specified.  TIME specifies the maximum runtime
       in seconds.  MEMO
more»

/usr/share/man/man1/why3.1.gz

WHY3(1)                     User Commands                    WHY3(1)



NAME
       why3 - check verification conditions in source code

SYNOPSIS
       why3 [OPTIONS] [[FILE|-] [-T <theory> [-G <goal>] ... ] ... ]

DESCRIPTION
       Verify  conditions  in  source code.  If the filename is "-",
       then input is read from stdin.

OPTIONS
       -T, --theory <theory>
              Select theory
more»

/usr/share/man/man1/why3bench.1.gz

WHY3BENCH(1)                User Commands               WHY3BENCH(1)



NAME
       why3bench - sche
more»

/usr/share/man/man1/why3config.1.gz

WHY3CONFIG(1)               User Commands              WHY3CONFIG(1)



NAME
       why3config - det
more»

/usr/share/man/man1/why3doc.1.gz

WHY3DOC(1)                  User Commands                 WHY3DOC(1)



NAME
       why3doc - format
more»

/usr/share/man/man1/why3ide.1.gz

WHY3IDE(1)                  User Commands                 WHY3IDE(1)



NAME
       why3ide - start 
more»

/usr/share/man/man1/why3ml.1.gz

WHY3ML(1)                   User Commands                  WHY3ML(1)



NAME
       why3ml  -  gener
more»

Browse inside why3-0.71-2.fc17.i686.rpm

1000 B2014-11-29HEADER  view  223+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download why3-0.71-2.fc17.i686.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com