Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540878728, 9783540878735

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Combining Tests and Proofs

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_4 ◽

2008 ◽

pp. 4-5

Author(s):

Madhu Gopinathan ◽

Aditya Nori ◽

Sriram Rajamani

Download Full-text

Flexible Immutability with Frozen Objects

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_17 ◽

2008 ◽

pp. 192-208 ◽

Cited By ~ 16

Author(s):

K. Rustan M. Leino ◽

Peter Müller ◽

Angela Wallenburg

Download Full-text

Verified Protection Model of the seL4 Microkernel

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_11 ◽

2008 ◽

pp. 99-114 ◽

Cited By ~ 11

Author(s):

Dhammika Elkaduwe ◽

Gerwin Klein ◽

Kevin Elphinstone

Download Full-text

Verified Process-Context Switch for C-Programmed Kernels

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_20 ◽

2008 ◽

pp. 240-254 ◽

Cited By ~ 5

Author(s):

Artem Starostin ◽

Alexandra Tsyban

Keyword(s):

Context Switch ◽

Process Context

Download Full-text

Propositional Dynamic Logic for Recursive Procedures

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_5 ◽

2008 ◽

pp. 6-14 ◽

Cited By ~ 3

Author(s):

Daniel Leivant

Keyword(s):

Dynamic Logic ◽

Propositional Dynamic Logic ◽

Recursive Procedures

Download Full-text

Where Is the Value in a Program Verifier?

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_21 ◽

2008 ◽

pp. 255-262 ◽

Cited By ~ 1

Author(s):

Colin O’Halloran

Download Full-text

From Verification to Synthesis

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_2 ◽

2008 ◽

pp. 2-2 ◽

Cited By ~ 7

Author(s):

Moshe Y. Vardi

Download Full-text

Boogie Meets Regions: A Verification Experience Report

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_16 ◽

2008 ◽

pp. 177-191 ◽

Cited By ~ 9

Author(s):

Anindya Banerjee ◽

Mike Barnett ◽

David A. Naumann

Keyword(s):

Experience Report

Download Full-text

Expression Decomposition in a Rely/Guarantee Context

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_14 ◽

2008 ◽

pp. 146-160 ◽

Cited By ~ 4

Author(s):

Joey W. Coleman

Download Full-text

Mapped Separation Logic

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-540-87873-5_6 ◽

2008 ◽

pp. 15-29 ◽

Cited By ~ 3

Author(s):

Rafal Kolanski ◽

Gerwin Klein

Keyword(s):

Separation Logic

Download Full-text

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Combining Tests and Proofs

Flexible Immutability with Frozen Objects

Verified Protection Model of the seL4 Microkernel

Verified Process-Context Switch for C-Programmed Kernels

Propositional Dynamic Logic for Recursive Procedures

Where Is the Value in a Program Verifier?

From Verification to Synthesis

Boogie Meets Regions: A Verification Experience Report

Expression Decomposition in a Rely/Guarantee Context

Mapped Separation Logic

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science
Latest Publications