chapter AFP(***************************************************************************** * * Project : HOL - CSP - A Shallow Embedding of CSP in Isabelle / HOL * Version : 2 . 0 * * Author : Burkhart Wolff , Safouan Taha & Lina Ye * ( Based on HOL - CSP 1 . 0 by Haykal Tej and Burkhart Wolff ) * * This file : The Process Refinement Toolkit CSP_RefTK * * Copyright ( c ) 2020 Universit é Paris - Saclay , France * * * All rights reserved . * * Redistribution and use in source and binary forms , with or without * modification , are permitted provided that the following conditions are * met : * * * Redistributions of source code must retain the above copyright * notice , this list of conditions and the following disclaimer . * * * Redistributions in binary form must reproduce the above * copyright notice , this list of conditions and the following * disclaimer in the documentation and / or other materials provided * with the distribution . * * * Neither the name of the copyright holders nor the names of its * contributors may be used to endorse or promote products derived * from this software without specific prior written permission . * * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS * " AS IS " AND ANY EXPRESS OR IMPLIED WARRANTIES , INCLUDING , BUT NOT * LIMITED TO , THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR * A PARTICULAR PURPOSE ARE DISCLAIMED . IN NO EVENT SHALL THE COPYRIGHT * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT , INDIRECT , INCIDENTAL , * SPECIAL , EXEMPLARY , OR CONSEQUENTIAL DAMAGES ( INCLUDING , BUT NOT * LIMITED TO , PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES ; LOSS OF USE , * DATA , OR PROFITS ; OR BUSINESS INTERRUPTION ) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY , WHETHER IN CONTRACT , STRICT LIABILITY , OR TORT * ( INCLUDING NEGLIGENCE OR OTHERWISE ) ARISING IN ANY WAY OUT OF THE USE * OF THIS SOFTWARE , EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE . (* $Id:$ *) "CSP_RefTK" (AFP) = "HOL-CSP" +‹ An Environment for Advanced Refinement Proofs based on Normalization. › 1200 ]"HOLCF-Library" "root.tex" "adb-long.bib" "root.bib"
Messung V0.5 in Prozent C=92 H=98 G=94
¤ Dauer der Verarbeitung: 0.10 Sekunden
¤ *© Formatika GbR, Deutschland
