A formal verification technique for embedded software.

Olivier Thiry, Luc J. M. Claesen

Browse the full ICCD paper archive.