SDLcheck: A Model Checking Tool

Vladimir Levin, Husnu Yenigun

To appear at 13th Conference on Computer-Aided Verification (CAV01), Paris, France, 18-22 July 2001


Abstract

Tool Presentation (category B) Abstract: The SDLcheck tool is presented that performs verification of asynchronous SDL programs by model checking through cospan. SDLcheck also allows co-verification of software/hardware co-designs. Combined with cospan, SDLcheck supports both software specific and hardware specific model checking optimization techniques, including partial order reduction and symbolic verification. Keywords: model checking, software/hardware co-verification, partial order reduction


Server START Conference Manager
Update Time 28 Mar 2001 at 08:36:01
Maintainer www-cav01@lsv.ens-cachan.fr.
Start Conference Manager
Conference Systems