Publication | Closed Access

Exploiting transition locality in automatic verification of finite-state concurrent systems

EngineeringProgram AnalysisAutomated ReasoningVerificationConcurrency TheoryFormal MethodsComputer-aided VerificationSystems EngineeringComputer ScienceTransition LocalityConcurrent SystemFinite-state SystemModel CheckingFormal Verification