Abstract: Counterexample guided abstraction refinement (CEGAR) represents a powerful symbolic technique for various tasks such as model checking and reachability analysis. Recently, CEGAR combined ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results