SDL Specifications Simulator Architecture
SDL Specifications
equivalent
specifications
Translator
Formally
correct
Specifications in
Lisp-Based Format
Correct
simulation
of original
specification
valid instance, valid
specification pair
Activator
System Instance
Process Simulator
& Utilities
correct instance
simulation
System Simulation