1222 search results - page 50 / 245 » Verifying a File System Implementation |
132
Voted
JSC
2010
15 years 23 days ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...
121
click to vote
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
118
click to vote
TSE
2010
15 years 21 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
128
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
Parallel I/O plays a crucial role for most data-intensive applications running on massively parallel systems like Blue Gene/L that provides the promise of delivering enormous comp...
166
Voted
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...