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