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

why

A software verification tool

Variants:
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.26+dfsg-2+squeeze1
Architecture:i386
Distribution:Debian
Filename:why_2.26+dfsg-2+squeeze1_i386.deb

/usr/share/doc/why/README

********************************************************************************
*                                                                              *
*  The Why platform for program certification                                  *
*                                                                              *
*  Copyright (C) 2002-2010                                                  
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.26+dfsg-2+squeeze1) stable; urgency=low

  * Add 0007-Squeeze-s-Coq-is-also-compatible.patch:
more»

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

version 2.26, May 10, 2010
==========================

  o [Why] fixed detection of Alt-Ergo
  o [G
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.26+dfsg-2+squeeze1_i386.deb

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

Download why_2.26+dfsg-2+squeeze1_i386.deb

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