IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

The Isabelle formalization of an incremental coniductive proof system

Show full item record

Bookmark or cite this item: http://hdl.handle.net/2142/14857

Files in this item

File Description Format
ZIP CoinductiveProofSystem_in_Isabelle.zip (772KB) (no description provided) ZIP
Title: The Isabelle formalization of an incremental coniductive proof system
Author(s): Popescu, Andrei
Contributor(s): Gunter, Elsa L.
Subject(s): Isabelle/HOL, Process Algebra, de Simone SOS, Incremental Coniduction
Issue Date: 2010-01-28
Genre: Other
Type: Other
Language: English
URI: http://hdl.handle.net/2142/14857
Publication Status: unpublished
Date Available in IDEALS: 2010-01-28
 

This item appears in the following Collection(s)

Show full item record

Item Statistics

  • Total Downloads: 54
  • Downloads this Month: 0
  • Downloads Today: 0

Browse

My Account

Information

Access Key