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
