ABSTRACT
Contents 11.1 Introduction ............................................................................................ 200 11.2 Formal Methods in SO Systems ...............................................................201 11.3 SAPERE Framework ................................................................................202 11.4 Case Study: Dynamic Gradient ................................................................203
