276 search results - page 1 / 56 » Abstraction and Refinement for Local Reasoning |
VSTTE
2010
Springer
13 years 2 months ago
2010
Springer
FOSSACS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
CAV
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
CAV
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
ICCBR
1997
Springer
13 years 9 months ago
1997
Springer