506 search results - page 1 / 102 » Where Is the Value in a Program Verifier |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
POPL
2001
ACM
14 years 5 months ago
2001
ACM
ICFEM
2005
Springer
13 years 10 months ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
TCC
2009
Springer
14 years 5 months ago
2009
Springer
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on t...