ECE 598 SM1: Modeling and Verification of Real-time and Hybrid Systems
Homework 4 bug-fix.
Posted on Tuesday, November 11th.
A bug in the specification of automata in problem 1 has been fixed.
Download from
here.
11/18/2008
Homework 4.
Posted on Wednesday, November 5th.
Download from
here.
11/05/2008
Homework 2 solutions.
Posted on Thursday, October 22nd.
Download from
here.
10/22/2008
Homework 3.
Posted on Thursday, October 9th.
Download from
here.
10/09/2008
Homework 1 solutions.
Posted on Monday, September 29th.
Download from
here.
09/29/2008
Homework 2.
Posted on Wednesday, September 17th and due on Thursday, October 2nd.
Download from
here.
09/17/2008
Homework 1 bug-fix.
Posted on Wednesday, September 10th.
A bug in the specification of the timed channel for problem 3 has been fixed.
Download from
here.
09/10/2008
Homework 1.
Posted on Monday, September 1st and due on Tuesday, September 16th.
Download from
here.
09/01/2008
Register soon.
First class meets on Tuesday, August 26th.
08/18/2008
Course flier
03/30/2008
