This two-hour program is divided into 16 chapters. Choose any chapter below and select QuickTime or Real Video to begin viewing. If you experience difficulty viewing, it may be due to high demand. We ...

Abstract: Temporal logics like Computation Tree Logic (CTL) have been widely used as expressive formalisms to capture rich behavioural specifications. CTL can express properties such as reachability, ...