MODEL CHECKING - Clarke,Edmund M.,Grumberg,Orna; Peled,Doron A. (Mit Press, Cambridge, 2001)
Keywords: Computer Systems -- Verification