The I*C project is an effort to create a development environment to design and analyze complex systems. The authors have developed a mathematically precise language, called IC*, to specify complex systems and reason about their behavior. A machine called I*C is being built to simulate or implement the specified systems. An environment for real-time interaction between the user and a simulation running on the I*C machine is also being built.
|Original language||English (US)|
|Title of host publication||Unknown Host Publication Title|
|Number of pages||6|
|State||Published - Dec 1 1986|
ASJC Scopus subject areas