COHO-Reach

COHO-REACH

Description: COHO-Reach (COHO Reachability Analysis tool) is an efficient reachability analysis tool based on the novel representation method projectagons. It is originally developed for the COHO circuit verification platform. It is extended as a standalone tool for reachability analysis for AMS verification, hybrid systems, control systems, etc.

VO Integration: No

Active: No

Available Benchmarks: N/A

Website: http://www.cs.ubc.ca/~chaoyan/cra.html

Download: The software repository can be found here.

Documentation: The user manual can be found here.

Contact: N/A