Yogi

This package contains the binaries necessary to use the Static Driver Verifier Research Platform with the Yogi verification engine.

Details

TypeDownload
File Nameyogi.zip
Version2.0
Date Published13 February 2013
Download Size20.46 MB

Note By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license.