|
| What is CADP? |
|---|
|
Home Page
Tools Overview Current Status Recent Changes |
| Installation |
|
How to obtain CADP?
Usage Statistics |
| Documentation |
|
FAQ
Tutorials Publications Manual Pages Demo Examples Wikipedia |
| CADP Community |
|
Newsletters
Education & Training Case Studies Research Tools |
| CADP Resources |
|
VLSAT Benchmarks
VLTS Benchmarks Other Resources |
| About CADP |
| Contributors |
On the Introduction of Gate Typing in E-LOTOS
Hubert Garavel
Proceedings of the 15th IFIP International Workshop on
Protocol Specification, Testing and Verification (Warsaw,
Poland), June 1995
Abstract:
The definition of the Formal Description Technique LOTOS (ISO standard 8807) is currently under revision. This paper proposes a gate typing extension to LOTOS in order to improve the current situation where gates are completely typeless. This extension is simple and fully upward compatible. It is shown to increase both the reliability and modularity of formal descriptions. Moreover, gate type-checking can be performed statically and does not require any change in the dynamic semantics of LOTOS.
| 16 pages |  |
 PostScript |