Model-checking real-time control programs: verifying Lego(R) Mindstorms

Torsten K. Iversen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen

Browse the full ECRTS paper archive.