Verification short course: Revision history

From Murray Wiki
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

3 November 2012

  • curprev 16:5116:51, 3 November 2012‎ Murray talk contribs‎ 2,251 bytes +2,251‎ Created page with "=== Lecture 1: Automata Theory (2 hours) === Topics: * Finite transition systems * Paths, traces and composition of finite transition systems * Linear time properties; safety ..."
Retrieved from "https://murray.cds.caltech.edu/Verification_short_course"