Skip to main content


eCommons@Cornell

eCommons@Cornell >
Faculty of Computing and Information Science >
Computing and Information Science >
Computing and Information Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/5619
Title: KAT-ML: An Interactive Theorem Prover for Kleene Algebra with Tests
Authors: Aboul-Hosn, Kamal
Kozen, Dexter
Keywords: computer science
technical report
Issue Date: 21-Aug-2003
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cis/TR2003-1906
Abstract: KAT-ML is an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with KAT that one finds in the literature. We describe the main features of the system and illustrate its use with some examples.
URI: http://hdl.handle.net/1813/5619
Appears in Collections:Computing and Information Science Technical Reports

Files in This Item:

File SizeFormat
TR2003-1906.ps125.92 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us