Model Checking includes many different
approaches [1]}. The current work concentrates
on the use of DPOR (Dynamic Partial Order Reduction), first introduced
in the fundamental work of Flanagan and Godefroid [2]}.
See [3]} for an excellent overview of
this approach.
