« Guided model checking... by Edelkamp | Main | "Model checking Java programs using ..." by Groce,Visser »
October 27, 2003
C/C++ on Lego RCX
[rcx-egcs-c -1.1.2-1.i386 RPM, Web-legOS 0.1 Les Smithson C++] It may be more interesting to work in C/C++ than Java since that's where we want to go long term with our verification tool. Model checkers for Java already exist. Identifying and solving problems with a C/C++ model checker that does not use translation to another language is our next topic.
Posted by jones at October 27, 2003 10:03 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.)