- How the class will end [0 comments; posted 30 Nov]
- model checking for real-time systems [0; 20 Oct]
- Proposals due Wednesday 10/05, for sure [0; 3 Oct]
- reading [0; 20 Sep]
- My response paper for second week of first paper [0; 14 Sep]
- What to write in your first summary paper [0; 13 Sep]
Announcements
- How the class will end [0 comments; posted 30 Nov]
- Proposals due Wednesday 10/05, for sure [0; 3 Oct]
- First response paper is a summary paper [0; 10 Sep]
- How class will work [0; 16 Aug]
- All Announcements entries
- Notes about BIR syntax from class [0 comments; posted 9 Sep]
- Low level BIR syntax [0; 30 Aug]
- A quick run through symbolic representations [0; 26 Aug]
- All Projects entries
- model checking for real-time systems [0 comments; posted 20 Oct]
- reading [0; 20 Sep]
- My response paper for second week of first paper [0; 14 Sep]
- What to write in your first summary paper [0; 13 Sep]
- All Readings entries