Abstract is missing.
- Readable Formal ProofsJohn C. Reynolds. 1 [doi]
- From Verification to SynthesisMoshe Y. Vardi. 2 [doi]
- Verification, Least-Fixpoint Checking, AbstractionAndreas Podelski. 3 [doi]
- Combining Tests and ProofsMadhu Gopinathan, Aditya V. Nori, Sriram K. Rajamani. 4-5 [doi]
- Propositional Dynamic Logic for Recursive ProceduresDaniel Leivant. 6-14 [doi]
- Mapped Separation LogicRafal Kolanski, Gerwin Klein. 15-29 [doi]
- Unguessable Atoms: A Logical Foundation for SecurityMark Bickford. 30-53 [doi]
- Combining Domain-Specific and Foundational Logics to Verify Complete Software SystemsXinyu Feng, Zhong Shao, Yu Guo, Yuan Dong. 54-69 [doi]
- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JMLPatrice Chalin, Perry R. James, George Karabotsos. 70-83 [doi]
- Incremental Benchmarks for Software Verification Tools and TechniquesBruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier. 84-98 [doi]
- Verified Protection Model of the seL4 MicrokernelDhammika Elkaduwe, Gerwin Klein, Kevin Elphinstone. 99-114 [doi]
- Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal LogicYoshifumi Yuasa, Yoshinori Tanabe, Toshifusa Sekizawa, Koichi Takahashi. 115-129 [doi]
- Bounded Verification of Voting SoftwareGreg Dennis, Kuat Yessenov, Daniel Jackson. 130-145 [doi]
- Expression Decomposition in a Rely/Guarantee ContextJoey W. Coleman. 146-160 [doi]
- A Verification Approach for System-Level Concurrent ProgramsMatthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff. 161-176 [doi]
- Boogie Meets Regions: A Verification Experience ReportAnindya Banerjee, Michael Barnett, David A. Naumann. 177-191 [doi]
- Flexible Immutability with Frozen ObjectsK. Rustan M. Leino, Peter Müller, Angela Wallenburg. 192-208 [doi]
- The Verisoft Approach to Systems VerificationEyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin. 209-224 [doi]
- Formal Functional Verification of Device DriversEyad Alkassar, Mark A. Hillebrand. 225-239 [doi]
- Verified Process-Context Switch for C-Programmed KernelsArtem Starostin, Alexandra Tsyban. 240-254 [doi]
- Where Is the Value in a Program Verifier?Colin O Halloran. 255-262 [doi]