|
15283
|
1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
|
|
|
2 |
|
|
15582
|
3 |
<html>
|
|
|
4 |
|
|
|
5 |
<head>
|
|
|
6 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
|
|
|
7 |
<title>HOLCF/IOA/README</title>
|
|
|
8 |
</head>
|
|
3220
|
9 |
|
|
15582
|
10 |
<body>
|
|
|
11 |
|
|
|
12 |
<h3>IOA: A basic formalization of I/O automata in HOL</h3>
|
|
3220
|
13 |
|
|
15582
|
14 |
Author: Konrad Slind, Tobias Nipkow and Olaf Müller<br>
|
|
|
15 |
Copyright 1995,1996 Technische Universität München
|
|
|
16 |
|
|
|
17 |
<p>
|
|
3220
|
18 |
|
|
|
19 |
This directory contains a formalization of the meta theory of I/O automata in HOL.
|
|
15582
|
20 |
This formalization has been significantly changed and extended. The new version
|
|
|
21 |
is available in the subdirectory HOLCF/IOA. There are also the proofs of two
|
|
|
22 |
communication protocols which formerly have been here.
|
|
3220
|
23 |
|
|
15582
|
24 |
</body>
|
|
|
25 |
</html>
|