AVACS

AcronymDefinition
AVACSAutomatic Verification and Analysis of Complex Systems