A General Approach for Symbolic Model-Checker Prototyping

TitleA General Approach for Symbolic Model-Checker Prototyping
Publication TypeConference Proceedings
Year of Conference2014
AuthorsBóbeda, Edmundo López, Colange Maximilien, and Buchs Didier
Conference Name14th International Workshop on Automated Verification of Critical Systems (AVOCS)
Date Published09/2014
PublisherCTIT – Institute for ICT Research in Context
Conference LocationEnschede, Netherlands

We propose a novel approach to prototype and create symbolic model-checkers. Our approach focuses on providing a high level abstraction above Decision Diagrams. It allows the model-checker creator to start from a high level formal semantics and to define an efficient Decision Diagram based model-checker.

Refereed DesignationRefereed