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