Revision history of "Verification short course"

From MurrayWiki
Jump to: navigation, search

Diff selection: Mark the radio boxes 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.

  • (cur | prev) 16:51, 3 November 2012Murray (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 ...")