Page 1 Chap. 7 Process Synchronization Copyright(c) 1999, Distributed Systems Lab., SungKyunKwan University, All rights reserved. No part of these slides.
Lawrence Chung1 Model Checking. Lawrence Chung2 Safety and Liveness Safety properties –Invariants, deadlocks, reachability, etc. –Can be checked on finite.