The IC* project is an effort to create an environment for the design, specification, and development of complex systems. Examples of such complex systems are communications and real time software and protocols, hardware, and physical and econometric models.
KeywordsActive Invariant Static Invariant Effect Predicate Effect Expression Differential Invariant
Unable to display preview. Download preview PDF.
- D. M. Cohen, B. Gopinath, M. L. Honig, W. M. Keese, P. Levin, J. Myers, U. Premkumar, D. Slepian, and J. R. Vollaro, “IC*: An Environment for Specifying Complex Systems”, IEEE Global Telecommunications Conference, Houston, Texas, Dec 1–4, 1986.Google Scholar
- D. M. Cohen and E. J. Isganitis, “Automatic Generation of a Prototype of a New Protocol From its Specification,” IEEE Global Telecommunications Conference, Houston, Texas, Dec 1–4, 1986.Google Scholar
- C. H. West, “Protocol Validation by Random State Exploration”, Protocol Specification, Testing, and Verification, VI, North Holland, 1986.Google Scholar
- A. Thue, “Ueber Unendliche Zeichenreihen”, Skrifter utgit av Videnskapsselskapet i Kristiania. I, 1906, pp 1–22.Google Scholar
- A. Salomaa, “Computation and Automata”, Encyclopedia of Mathematics and its Applications, Volume 25, Cambridge University Press, 1985.Google Scholar