VyrdMC: Driving runtime refinement checking with model checkers (0)

by T Elmas, S Tasiran
Venue:Electr. Notes Theor. Comput. Sci