| Department of Mathematical Sciences Colloquium Series |
|
 |
|
 |
|
Salish Kootenai College
3:10 p.m. in Math 103
4:00 p.m. Refreshments in Math Lounge 109
|
 |
|
||||||
|
|
||||||
|
Frank Stomp Salish Kootenai College |
||||||
| In this talk I will give a brief overview of the area of Formal Software Verification. Basically, in this area one mathematically verifies that a program satisfies its specification (requirements). Thus, formal verification ensures that code is correct. Since verification is carried out on a model of the original code, this may reduce errors in an actual software product. Except for verification, I will also mention structuring principles, and some of my current research projects. | ||||||
|
Monday, 2 March 2009 3:10 p.m. in Math 103 4:00 p.m. Refreshments in Math Lounge 109 |
||||||
|
||||||
|
||||||