|
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
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
