Model checking is a technique for automatically checking properties of models of systems. We present here several combinations
of model checking with testing techniques. This allows checking systems when no model is given, when the model is inaccurate,
or when only a part of its description is given.
This research was partially supported by Subcontract UTA03-031 to The University of Warwick under University of Texas at Austin’s
prime National Science Foundation Grant #CCR-0205483.