CSI 5174 - Validation Methods for Distributed Systems
School of Electrical Engineering and Computer Science, University of Ottawa, Fall 2015
Official course description: Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief stragegies. Testing techniques. Test generation strategies. Test architectures.
Professor: Gregor v. Bochmann
, phone: 562-5800 ext.: 6205, e-mail: bochmann@eecs.uottawa.ca , office:
SITE building (room 5082), office hours: by appointment, please send me an e-mail stating when
you would like to meet
Lectures:
Wednesdays at 17:30-20:30 in room LMX 390. - - Preliminary schedule
Exams from previous years (ELG 7187C): Mid-term exam with solutions from 2009 - Final exam from 2007.
Comments:
-
The final exam is on December 10 at 14:00 in room CBY E-015.
- There will be no classes on November 4 and November 25. Instead, there will be two additional classes on Tuesdays, November 10 and 17 : from 14:00 to 17:00 in room LMX-342.
- To
get a computer account at SITE for Carleton students: Carleton students registered in our graduate courses are now able to activate their accounts for the SITE computing infrastructure; details on how to proceed are available in our online documentation (http://www.site.uottawa.ca/local/labinfo), specifically at item 'Carleton Students Account Information' of the Faculty of Engineering Account Information section. Note that they need to use their Carleton student ID, as they may not have uOttawa student IDs.
Last update: September 17, 2015