Karbyshev, Aleksandr; Bjørner, Nikolaj; Itzhaky, Shachar; Rinetzky, Noam; Shoham, Sharon Property-directed inference of universal invariants or proving their absence. (English) Zbl 1426.68050 J. ACM 64, No. 1, Article No. 7, 33 p. (2017). Cited in 4 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 03B70 Logic in computer science Keywords:EPR; IC3; PDR; universal invariants; property-directed reachability PDFBibTeX XMLCite \textit{A. Karbyshev} et al., J. ACM 64, No. 1, Article No. 7, 33 p. (2017; Zbl 1426.68050) Full Text: DOI