EECI 2020: Model Checking: Revision history

10 March 2020

• curprev 07:5607:56, 10 March 2020‎ Murray talk contribs‎ 1,728 bytes 0‎ →‎Lecture Materials
• curprev 07:4707:47, 10 March 2020‎ Murray talk contribs‎ 1,728 bytes +5‎ No edit summary
• curprev 07:4707:47, 10 March 2020‎ Murray talk contribs‎ 1,723 bytes +9‎ No edit summary

29 February 2020

• curprev 23:1823:18, 29 February 2020‎ Murray talk contribs‎ 1,714 bytes +130‎ →‎Additional Information
• curprev 16:5616:56, 29 February 2020‎ Murray talk contribs‎ 1,584 bytes +70‎ No edit summary

27 February 2020

• curprev 22:3522:35, 27 February 2020‎ Nok talk contribs‎ 1,514 bytes +1,514‎ Created page with "{{righttoc}} This lecture provides an introduction to automata based model checking and its use for closed system synthesis. We first discuss what model checking is, how it w..."