HT Z | Poke

HT Z @UC87cXR0JrEFLCyXToI39Ozg@youtube.com

408 subscribers - no pronouns :c

More from this channel (soon)

Videos Playlists

Recently Uploaded Popular Oldest

Lecture 22 Bisimulation and CTL star equivalence

Lecture 21 CTL plus and CTL star

Lecture 20 CTL and fairness

Lecture 19 CTL model checking

Lecture 18 LTL versus CTL

Lecture 17 Computation tree logic

Lecture 16 Complexity of LTL model checking

Lecture 15 LTL model checking 2

Lecture 14 LTL model checking 1

Lecture 13 Expansion law fairness PNF

Lecture 12 Linear temporal logic

Lecture 11 Verifying omega regular properties

Lecture 10 Büchi automata 2

Lecture 9 Büchi automata 1

Lecture 8 Verifying regular safety properties

Lecture 7 Fairness

Lecture 6 Liveness and fairness

Lecture 5 Linear time properties

Lecture 4 Channel systems

Lecture 3 Concurrency

Lecture 2 Transition systems

Lecture 1 Introduction