Example 2: Simulation vs. formal code coverage of a finite state machine. The simple finite state machine (FSM) shown in Figure 2 will be used for another illustration of the different code coverage ...

Mikel D. Petty is an Associate Professor of Computer Science at the University of Alabama in Huntsville. He received a Ph.D. in Computer Science from the University of Central Florida in 1997. He has ...