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 ...