On-the-fly model checking for C programs with extended CADP in FMICS-jETI.

Mara-del-Mar Gallardo, Pedro Merino, Christophe Joubert, David Sann

Browse the full ICECCS paper archive.