Lecture Formal methods in software engineering - Lecture 32
Lecture Formal methods in software engineering - Lecture 32
Lecture Formal methods in software engineering - Lecture 32: Adding formal methods to a project. This chapter presents the following content: Adding formal methods to a project, best use of formal methods, management considerations, technical considerations, types of analysis/formal methods, level of rigor for formal methods,...