« Java for Lego Mindstorms | Main | Bytecode Model Checking: An Experimental Analysis »
October 13, 2003
SPIN 2001, 2002 Proceedings
[SPIN 2001, LNCS volume 2051 , SPIN 2002, LNCS volume 2318] An interesting conference on explicit model checking. Papers we/I need to read are...
From 2002 proceedings
Bytecode Model Checking: An Experimental Analysis by Basin, Friedrich et al
Partial Order Reduction in Directed Model Checking by Lluch-Lafuenta, Edelkamp and Leue
From 2001 proceedings
Transformations for Model Checking Distributed Java Programs by Stoller and Liu
Posted by jones at October 13, 2003 08:31 AM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)