The growing need to deliver high quality software requires programmers to answer the question; How do we
build software that is correct? One of the ways to answer this question is to use formal techniques (mainly
mathematical) to define software precisely at every stage in the software development life cycle. In this
course we shall discuss different formal methods that can be employed to specify, construct and verify
computer programs.
build software that is correct? One of the ways to answer this question is to use formal techniques (mainly
mathematical) to define software precisely at every stage in the software development life cycle. In this
course we shall discuss different formal methods that can be employed to specify, construct and verify
computer programs.
- Teacher: Ngobye Martin
- Teacher: Catherine A