FRDCSA
Minor
Internal
External
Git
Packages
scoot-ra-apr-7.2008
Jump To:
Parent Description
This package contains a version of Scoot for Linux that performs race analysis using predicate abstraction.