C.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs

TitleC.OPEN and ANNOTATOR: tools for On-the-Fly model checking C programs
Publication TypeConference Paper
Year of Publication2007
AuthorsGallardo M-del-M, Joubert C, Merino P, Sanán D
Conference NameDragan Bosnacki and Stefan Edelkamp (Eds.). Model Checking Software: 14th International SPIN Workshop Berlin, Germany, July 1-3, 2007 Proceedings
Date Publishednov
PublisherSpringer
Conference LocationBerlin
ISBN Number3-540-73369-8