Lecture Software testing and analysis: Chapter 8 - Mauro Pezzè, Michal Young
Lecture Software testing and analysis: Chapter 8 - Mauro Pezzè, Michal Young
Chapter 8 - Finite state verification. When you finish this chapter, you should: Understand the purpose and appropriate uses of finite-state verification (fsv), understand modeling for fsv as a balance between cost and precision, distinguish explicit state enumeration from analysis of implicit models.