506 search results - page 11 / 102 » Where Is the Value in a Program Verifier |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
CP
2005
Springer
14 years 29 days ago
2005
Springer
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...
CP
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
IFIP
1998
Springer
13 years 11 months ago
1998
Springer
The paper describes an original approach for the ABR service in the ATM network. It belongs to the explicite rate (ER) class and assumes that the ER parameter corresponds to the i...