Yogi

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

Download Details

File Name: yogi.zip
Version: 2.0
Date Published: 13 February 2013
Download Size: 20.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.

Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds