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

why

A software verification tool

Why aims at being a verification conditions generator (VCG) back-end for other verification tools. It provides a powerful input language including higher-order functions, polymorphism, references, arrays and exceptions. It generates proof obligations for many systems: the proof assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
Homepage:
Package version:2.23+dfsg-2
Architecture:i386
Distribution:Ubuntu
Filename:why_2.23+dfsg-2_i386.deb

/usr/share/doc/why/README

**************************************************************************
*                                                                        *
*  The Why platform for program certification                            *
*  Copyright (C) 2002-2008                                               *
*    Romain BARDOU                                                       *
*    Jean-Fran�ois COUCHO
more»

/usr/share/doc/why/README.source

Patching upstream sources
-------------------------

This package uses dpatch to manage all modifications to the upstream
source. Changes are stored in the source package as diffs in
debian/patches and applied during the build.

To get the fully patched source after unpacking the source package, cd
to the root level of the source package and run:

    debian/rules patch

Removing a patch is as sim
more»

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

WHY-CPULIMIT(1)             User commands            WHY-CPULIMIT(1)



NAME
       why-cpulimit -- limits the CPU usage of a process

SYNOPSIS
       why-cpulimit TIME-LIMIT COMMAND

DESCRIPTION
       TIME-LIMIT must be an integer (time limit in seconds)

       COMMAND name of the executable program file

AUTHOR
       This manpage was written for the Debian project by Mehdi Dog‐
       guy <
more»

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

why(1)                                                        why(1)



NAME
       why - A multi-la
more»

/usr/share/doc/why/changelog.Debian.gz

why (2.23+dfsg-2) unstable; urgency=low

  * Rebuild with OCaml 3.11.2
  * Correctly detect Coq-floa
more»

/usr/share/doc/why/changelog.gz

version 2.23, December 4, 2009
===============================

  o [Why] fixed bug with let constr
more»

/usr/share/doc/why/copyright

Packaged-By: Samuel Mimram <smimram@debian.org>
Packaged-Date: Thu, 22 Mar 2007 21:02:49 +0100
Upst
more»

Browse inside why_2.23+dfsg-2_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors

Download why_2.23+dfsg-2_i386.deb

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