Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

First Page		Document Content
Date: 2009-09-21 16:41:38		Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr Add to Reading List Source URL: research.microsoft.com Download Document from Source Website File Size: 213,19 KB Share Document on Facebook