Hello! I am currently assembling a case study for a assembly code model checker for embedded systems. I would like to check "real-world" programs written in nesC for the Atmega128 and would welcome any contributions. As my research focuses on assembly level, I would appreciate it, if you could send me compiled versions (e.g. elf-files) along with a short description (a few sentences) of the programs purpose. What's in it for you? There will be a staff of researches trying to model check your code and looking for bugs. You basically get free bug hunting ;-)
Kind regards, Volker Kamin -- Dipl.-Inform. Volker Kamin RWTH Aachen University Embedded Software Laboratory Ahornstr. 55 52074 Aachen fon: +49 241 80 21157 fax: +49 241 80 22150 web: http://www.embedded.rwth-aachen.de/
_______________________________________________ Tinyos-help mailing list [email protected] https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
