Wrapping Up

We'll cover the following...

Summary

In this final chapter, you’ve seen how to bring stateful properties to the next level in cases where the system under test can be modeled as a finite state machine. In such cases, FSM properties represent a ...