BrighterTube

Mod-04 Lec-03 Syntax and Semantics of CTL

nptelhrd2.25M subscribers

Why it's on BrighterTube

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Teaches syntax and semantics of CTL (Computation Tree Logic) for system verification. Lecture on formal specification languages.

What you'll learn

A 60-minute video from nptelhrd: “Mod-04 Lec-03 Syntax and Semantics of CTL”.

Programming & CSLectures

Video by nptelhrd, played through YouTube's embedded player.

Part of Computer-Design Verification & Test of Digital VLSI Circuits