8132 search results - page 85 / 1627 » Dependability, Abstraction, and Programming |
CP
2005
Springer
15 years 3 months ago
2005
Springer
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
ICALP
2004
Springer
15 years 3 months ago
2004
Springer
PRDC
2005
IEEE
15 years 3 months ago
2005
IEEE
TING SETS: A BASIC ABSTRACTION FOR ASYNCHRONOUS AGREEMENT PROBLEMS ROY FRIEDMAN , ACHOUR MOSTEFAOUI , MICHEL RAYNAL
SEFM
2005
IEEE
15 years 3 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...