OK, that makes sense. It’s isomorphic to doing model checking by looking data generated by your model.
OK, that makes sense. It’s isomorphic to doing model checking by looking data generated by your model.