Coho : a verification tool for circuit verification by reachability analysis
COHO is a verification tool for systems modeled by nonlinear ordinary differential equations (ODEs). Verification is performed using reachability analysis. The reachable space is represented by projectagons which are the polyhedron described by their projection onto two dimensional subspace. COHO ap...
Main Author: | Yan, Chao |
---|---|
Language: | English |
Published: |
2010
|
Online Access: | http://hdl.handle.net/2429/18181 |
Similar Items
-
Projectagon-based reachability analysis for circuit-level formal verification
by: Yan, Chao
Published: (2011) -
Projectagon-based reachability analysis for circuit-level formal verification
by: Yan, Chao
Published: (2011) -
Projectagon-based reachability analysis for circuit-level formal verification
by: Yan, Chao
Published: (2011) -
Verification of timed automata : reachability, liveness and modelling
by: Tran, Thanh tung
Published: (2016) -
Verification of networks of communicating processes : Reachability problems and decidability issues
by: Rezine, Othmane
Published: (2017)