UNU/IIST In-house Training School on
Techniques for Software Specification and Verification
17 September - 5 October 2001
For the period from 17 September to 5 October UNU/IIST has prepared an exciting and wide range of courses, Techniques for Software Specification and Verification, for its fellows. As well as the usual courses on RAISE and DC, Prof. Kees Middelburg will present a course on Process Algebra with Timing, another ex-staff member Dr. Xu Qiwen is presenting a course on Model-checking with SPIN, and Prof. He Jifeng is lecturing on Software/Hardware Codesign. The schedule is below.
- State-based Formal Methods (RAISE, applicative)
17 - 18 September 2001, all day
Tomasz Janowski
- Action-based Formal Methods (RAISE, concurrency)
19 September 2001, all day
Tomasz Janowski
- State-based Formal Methods for Real-time (Duration Calculus)
21 September 2001, all day; 4 October 2001, afternoon; 5 October 2001, morning
Dang Van Hung
- Action-based Formal Methods for Real-time (Process Algebra with Timing)
24 - 28 September 2001, mornings
Kees Middelburg
- Formal Methods for Software/Hardware Codesign
24 - 28 September 2001, afternoons
He Jifeng
- Tools for Formal Methods (Demonstraion of Spin, Spin Modelling Language Promela, Theory behind Spin)
3 October 2001, all day; 4 October 2001, morning; 5 October 2001, afternoon;
Xu Qiwen