New: The assignment is posted. The due date is June 16 in class.

If you need help on NuSMV, Please contact Faisal AL-Saqqar <faisalalsaqqar1@gmail.com>. He is available this Friday from 10:30-13:00. He is also available on every Wednesday from 10:00-13:00. Local: EV. 4. 180.

Additional office hours: Monday from 10h00 to 1045.

Exam Samples

    2007    -    2008(1)    -    2008(2)    -    2009(1)    -    2009(2)

Time:                          Tuesday and Thursday, 14h45 – 17h15

Classroom:                 H-420            

Office hours:              Thursday, 11h00 – 12h00 (Office: EV.7.630)

E-mail: bentahar@ciise.concordia.ca    

Tel: 514-848-2424 Ext. 5382

You can use this web site to get lecture notes, useful links, assignments, and other useful information. It is highly advised to visit the web site regularly.

ISBN: 0-13-091297-2

 

This book covers several issues related to software quality. Some important chapters are: process overview, selecting software developments life cycles, developing the software requirements specification, introduction to software engineering, software metrics, and validation and verification.

 

 

2) Principles of Model Checking (A preliminary version of this book is Available here)

C. Baier and J-P. Katoen

MIT Press, 2008

Formal Methods and Tools Group, University of Twente