A Reflective Framework for Formal Interoperability

Investigators


Objective

Integrating the different formal models of a system in a correct and systematic way is a pressing and unavoidable problem for large systems. The objective of this work is to develop foundations, methods and tools supporting formal interoperability to achieve such integration.


Relevant Items

Other Projects


Last updated by Carolyn Talcott clt@cs.stanford.edu 10 July 1998.