AVISS

AcronymDefinition
AVISSAutomated Verification of Infinite-State Systems