5243 search results - page 63 / 1049 » Reasoning About Strategies |
GRC
2005
IEEE
15 years 6 months ago
2005
IEEE
93
Voted
SWS
2005
ACM
15 years 6 months ago
2005
ACM
133
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
84
Voted
VSTTE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...