SOUNDNESS
15 Followers
Recent papers in SOUNDNESS
I point out some logical errors and infelicities in Hájek’s discussion of philosophical heuristics.
This article shows the important features of good humanity in our life and history and depicts how these basic and good qualities can ensure honour and greatness for us.
In the literature, the conditions on history variables or forward simulations that are related to liveness are expressed in terms of behaviours, and are stronger than convenient and necessary. In this paper, we propose alternative... more
A distributed storage service lets clients abstract a single reliable shared storage device using a collection of possibly unreliable computing units. Algorithms that implement this abstraction offer certain tradeoffs and vary according... more
This paper investigates the problem of inference channels that occur when databaseconstraints are combined with non-sensitive data to obtain sensitive information. Wepresent an integrated security mechanism, called the Disclosure Monitor,... more
Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic II: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we... more
We introduce a reasoning infrastructure for proving statements about resource consumption in a fragment of the Java Virtual Machine Language (JVML). The infrastructure is based on a small hierarchy of program logics, with increasing... more