Krishnendu Chatterjee;Thomas A. Henzinger;Florian Horn
Institute of Science and Technology (IST), Austria;EPFL, Switzerland;CWI, Amsterdam
Code aware resource management
Formal Methods in System Design
Let V = {x1,...,xn} be a set of variables that range over a set of values D = {d1,...,dq}. A constraint is an expression of the type $R(x_{i_1},\ldots,x_{i_r})$, ...