package.html :  » Testing » KeY » de » uka » ilkd » key » cspec » Java Open Source

Java Open Source » Testing » KeY 
KeY » de » uka » ilkd » key » cspec » package.html
<!-- This file is part of KeY - Integrated Deductive Software Design-->
<!-- Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany-->
<!--                         Universitaet Koblenz-Landau, Germany-->
<!--                         Chalmers University of Technology, Sweden-->
<!---->
<!-- The KeY system is protected by the GNU General Public License. -->
<!-- See LICENSE.TXT for details.-->
<!---->
<!-- This file is part of KeY - Integrated Deductive Software Design-->
<!-- Copyright (C) 2001-2004 Universitaet Karlsruhe, Germany-->
<!--                         Universitaet Koblenz-Landau, Germany-->
<!--                         Chalmers University of Technology, Sweden-->
<!---->
<!-- The KeY system is protected by the GNU General Public License. -->
<!-- See LICENSE.TXT for details.-->
<html>

<head>
<meta http-equiv="Content-Language" content="de">
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252">
<meta name="GENERATOR" content="Microsoft FrontPage 4.0">
<meta name="ProgId" content="FrontPage.Editor.Document">
<title>Contains classes for computing the specification of a program</title>
</head>

<body>

<p>Contains classes for computing the specification of a program.</p>
<p>This package is responsible for the inverse process of inferring the
specification of a program from its source code.</p>

</body>

</html>
java2s.com  | Contact Us | Privacy Policy
Copyright 2009 - 12 Demo Source and Support. All rights reserved.
All other trademarks are property of their respective owners.