Abstract | ||
---|---|---|
The μZ tool is a scalable, efficient engine for fixed points with constraints. It supports high-level declarative fixed point constraints
over a combination of built-in and plugin domains. The built-in domains include formulas presented to the SMT solver Z3 and
domains known from abstract interpretation. We present the interface to μZ, a number of the domains, and a set of examples illustrating the use of μZ.
|
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-22110-1_36 | CAV |
DocType | Citations | PageRank |
Conference | 8 | 0.47 |
References | Authors | |
3 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kryštof Hoder | 1 | 58 | 4.02 |
Nikolaj Bjørner | 2 | 3818 | 181.02 |
Leonardo de Moura | 3 | 3539 | 150.15 |