« "Logic Verification of ANSI-C..." by Holzmann | Main | C/C++ on Lego RCX »
October 24, 2003
Guided model checking... by Edelkamp
[Mike Jones' Mostly CS Blog: Guided Model checking in HSF Spin]
Posted by jones at October 24, 2003 06:55 PM
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.)