Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Full functional verification of linked data structures | 90 | 2.84 | 2008 |
| Using first-order theorem provers in the Jahob data structure verification system | 23 | 1.00 | 2007 |
| Runtime checking for program verification | 3 | 0.43 | 2007 |
| On Verifying Complex Properties using Symbolic Shape Analysis | 15 | 0.67 | 2006 |
| Modular Pluggable Analyses for Data Structure Consistency | 20 | 0.87 | 2006 |
| Implications of a Data Structure Consistency Checking System | 2 | 0.39 | 2005 |
| Verifying a file system implementation | 16 | 1.20 | 2004 |
| File Refinement | 0 | 0.34 | 2004 |
| Write barrier removal by static analysis | 14 | 0.77 | 2002 |