5243 search results - page 59 / 1049 » Reasoning About Strategies |
ICEIS
2009
IEEE
15 years 7 months ago
2009
IEEE
116
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
79
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
FM
2009
Springer
15 years 7 months ago
2009
Springer
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...