 
 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