Formal Software Verification

Authors

Frank Stomp, Salish Kootenai College

Document Type

Presentation Abstract

Presentation Date

3-2-2009

Abstract

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.

Additional Details

Monday, 2 March 2009
3:10 p.m. in Math 103
4:00 p.m. Refreshments in Math Lounge 109

Recommended Citation

Stomp, Frank, "Formal Software Verification" (2009). Colloquia of the Department of Mathematical Sciences. 308.
https://scholarworks.umt.edu/mathcolloquia/308