SIMULATION PARADIGM 2 KLEE IRWIN