SRI International

file

Visible to the public The Verified Software Initiative

Presented as part of the 2007 HCSS conference.

file

Visible to the public Secure Agents

Presented as part of the 2003 HCSS conference.

file

Visible to the public Embedded Deduction with ICS

Presented as part of the 2003 HCSS conference.

file

Visible to the public The Challenge of Verified Software

Presented as part of the 2005 HCSS conference.

file

Visible to the public The Verified Software Initiative

Presented as part of the 2009 HCSS conference.

file

Visible to the public A Distributed Logical Framework Based on Partially Ordered Knowledge Sharing & Its Application to Networked CP Systems

This research is motivated by the observation that especially in challenging environments, that exhibit many forms of unreliability and failures, the physical world imposes severe limitations on how distributed algorithms can operate. Inspired by earlier work on delay- and disruption-tolerant networking, we have developed a distributed computing model based on partially ordered knowledge sharing that makes very few assumptions about the underlying network, its topology, and its characteristics.