Outline of Course

Outline of Course

• overview
• getting to know VIS
• verification by simulation
• model checking
• fairness constraints

all these use a common small example

• larger verification project introduction
• computational techniques - controlling efficiency and size
• hands-on design and verification
• project evaluation
• software engineering
• course evaluation

Previous slide

Next slide

Back to the first slide

View Graphic Version