Report copyright - 1 Introduction to Model Checking. 2 2 Outline l Model checking –Temporal logic –Model checking algorithms –Expressiveness and complexity l Symbolic model
Please pass captcha verification before submit form
Please pass captcha verification before submit form