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

TitleOn the Fly model checking for C programs with extended CADP in FMICS-jETI
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo M-del-M, Merino P, Joubert C, Sanán D
Conference Name12th IEEE International Conference on Engineering Complex Computer Systems, Auckland, New Zealand, July 11-14, 2007. Proceedings
Date Publishednov
PublisherIEEE Computer Society
Conference LocationLos Alamitos, California
ISBN Number0-7695-2895-3