Efficient Strategies for CEGAR-Based Model Checking
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-019-09535-x
Abstract: Automated formal verification is often based on the Counterexample-Guided Abstraction Refinement (CEGAR) approach. Many variants of CEGAR have been developed over the years as different problem domains usually require different strategies for efficient verification. This… read more here.
Keywords: cegar based; model checking; efficient strategies; strategies cegar ... See more keywords