Certifying Model Checkers (0)

by K Namjoshi
Venue:Proc. 13th Conf. on Computer Aided Verification, 2001