Permalink
Branch: master
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
8 lines (5 sloc) 253 Bytes

Status

Jan 24.2018. DryVR 2.0 is done. Adding state dependent transition and control synthesis.

April 18.2017. The installation is tested on Ubuntu 16.04 (64 bit version).

March 23.2017. The tool is tested on Ubuntu 16.04 (64 bit version).