5243 search results - page 61 / 1049 » Reasoning About Strategies |
98
Voted
SEFM
2007
IEEE
15 years 6 months ago
2007
IEEE
AOSE
2007
Springer
15 years 6 months ago
2007
Springer
79
Voted
FASE
2007
Springer
15 years 6 months ago
2007
Springer
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
121
Voted
LFCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...