On the fly model checking

From Free net encyclopedia