Iterative circular coinduction for CoCasl in Isabelle/HOL (2005)

Cached

Download Links

by Daniel Hausmann , Till Mossakowski , Lutz Schröder
Venue:FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME 3442 OF LECT. NOTES COMPUT. SCI
Citations:6 - 1 self

Active Bibliography

19 Algebraic-coalgebraic specification in CoCasl – Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder - 2006
30 The Heterogeneous Tool Set – Till Mossakowski, Christian Maeder, Klaus Lüttich, Stefan Wölfl - 2007
HETS User Guide – Version 0.73 – – Till Mossakowski, Christian Maeder, Klaus Lüttich - 2008
HETS User Guide – Version 0.85 – – Till Mossakowski, Christian Maeder, Klaus Lüttich - 2009
HETS User Guide – Version 0.95 – – Till Mossakowski, Christian Maeder, Mihai Codescu, Dominik Lücke - 2010
HETS User Guide – Version 0.96 – – Till Mossakowski, Christian Maeder, Mihai Codescu, Dominik Lücke - 2010
39 Expressivity of coalgebraic modal logic: The limits and beyond – Lutz Schröder - 2005
4 Dialgebraic Specification and Modeling – Peter Padawitz
1 Algebraic Model Checking – Peter Padawitz
13 A Proof Planning Framework for Isabelle – Lucas Dixon - 2005
Contents – Till Mossakowski, Christian Maeder, Mihai Codescu, Eugen Kuksa, Christoph Lange - 2013
Integrating Maude into Hets – Mihai Codescu, Till Mossakowski, Adrián Riesco, Christian Maeder
12 Type class polymorphism in an institutional framework – Lutz Schröder, Till Mossakowski, Christoph Lüth - 2005
2 Behavioural reasoning for conditional equations – Manuel Antonio Martins, Don Pigozzi - 2007
1 Runtime Verification of C Memory Safety – Grigore Ros, Wolfram Schulte, Traian Florin S
1 Behavioral and Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
Witnesses for Coinduction from Divergent Proof Attempts – Louise Dennis, Alan Bundy, Ian Green, Louise Dennis, Alan Bundy, Ian Green
2 Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof Attempts – L. A. Dennis, A. Bundy, I. Green - 2000