3573 search results - page 195 / 715 » Reasoning about Codata |
112
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
117
Voted
AINA
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
107
Voted
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
132
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
100
click to vote
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Software and the computational behaviors it defines are increasingly important sources of both economic costs and benefits for companies, governments and individuals. Nevertheless...