Course - Formal Methods 2 - TM8108
TM8108
Formal Methods 2
Lessons are not given in the academic year 2010/2011
Credits
7.5
Level
Doctoral degree level
Language of instruction
English and norwegian
Examination arrangement
Oral examination
About
About the course
Course content
The course is taught every second year, next time spring 2012.
The course expands on methods and theory from Formal Methods. In particular, approaches for temporal logic-based correctness-preserving design of software will be discussed.
Learning outcome
Strengthen the method and theory skills for system development with formal methods.
Learning methods and activities
Guided self studies.
Recommended previous knowledge
PhD course Formal Methods - TM 8103
Course materials
P. Herrmann, H. Krumm, A Framework for Modeling Transfer Protocols,
Computer Networks, 34, 2, 2000, 317-337.
Further excerpts from text books and publications are decided at the start of course.
Subject areas
- Telematics
Contact information
Department with academic responsibility
Department of Information Security and Communication Technology
Examination
Examination
Examination arrangement: Oral examination
Grade: Letters
Ordinary examination - Autumn 2010
Oral examination
Weighting
100/100
Date
2010-12-13