Report copyright - Lawrence Chung1 Model Checking. Lawrence Chung2 Safety and Liveness Safety properties –Invariants, deadlocks, reachability, etc. –Can be checked on finite
Please pass captcha verification before submit form
Please pass captcha verification before submit form