SEBSMC

AcronymDefinition
SEBSMCState/Event-Based Software Model Checking