Backward reachability of array-based systems by smt solving: Termination and invariant synthesis
Year: 2010
Type: article
Source: Iris (University of Trento)
DOI: 10.2168/lmcs-6
Author: Ranise, S.
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W6907318369