« how does one do ftp in a .net application? | Main | Open source embedded mp3 players »
October 27, 2004
NSF CFP for emb/hyb ssystems for 2004
[Computer Systems Research (CSR) nsf04609] We are doing some very cool work on verification of machine code instances of embedded software using explicit model checking. We use gdb (or any other simulator) to define the instruction semantics. In the end, we prove or verify that the execution of a given binary on a given processor (or at least its simulator...) either does or doesn't satisfy a property. This NSF program may be a good place to fund this work.
If you have some resources (which include code examples, simulators, tough verification problems from the real world, or even plain old money) that you'd like to donate to support this work, drop me a line at jones@cs.byu.edu
Posted by jones at October 27, 2004 01:42 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.)