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

9783540691471, 9783540691495

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Test Generation and Verified Software

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

10.1007/978-3-540-69149-5_18 ◽

2008 ◽

pp. 161-172 ◽

Cited By ~ 14

Author(s):

John Rushby

Keyword(s):

Test Generation ◽

Automated Test Generation ◽

Automated Test ◽

Verified Software

Download Full-text

Computational Logical Frameworks and Generic Program Analysis Technologies

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

10.1007/978-3-540-69149-5_28 ◽

2008 ◽

pp. 256-267 ◽

Cited By ~ 1

Author(s):

José Meseguer ◽

Grigore Roşu

Keyword(s):

Program Analysis ◽

Logical Frameworks

Download Full-text

Programming with Proofs: Language-Based Approaches to Totally Correct Software

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

10.1007/978-3-540-69149-5_55 ◽

2008 ◽

pp. 502-509 ◽

Cited By ~ 1

Author(s):

Aaron Stump

Download Full-text

Linking the Meaning of Programs to What the Compiler Can Verify

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

10.1007/978-3-540-69149-5_35 ◽

2008 ◽

pp. 325-336

Author(s):

Egon Börger

Download Full-text

Trends and Challenges in Algorithmic Software Verification

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

10.1007/978-3-540-69149-5_26 ◽

2008 ◽

pp. 245-250 ◽

Cited By ~ 2

Author(s):

Rajeev Alur

Keyword(s):

Software Verification ◽

Algorithmic Software

Download Full-text

Toasters, Seat Belts, and Inferring Program Properties

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

10.1007/978-3-540-69149-5_38 ◽

2008 ◽

pp. 354-361

Author(s):

David Evans

Keyword(s):

Seat Belts

Download Full-text

Towards a Worldwide Verification Technology

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

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

2008 ◽

pp. 19-25 ◽

Cited By ~ 3

Author(s):

Wolfgang Paul

Download Full-text

A Mini Challenge: Build a Verifiable Filesystem

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

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

2008 ◽

pp. 49-56 ◽

Cited By ~ 4

Author(s):

Rajeev Joshi ◽

Gerard J. Holzmann

Download Full-text

Lessons from the JML Project

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

10.1007/978-3-540-69149-5_15 ◽

2008 ◽

pp. 134-143 ◽

Cited By ~ 2

Author(s):

Gary T. Leavens ◽

Curtis Clifton

Download Full-text

Towards the Integration of Symbolic and Numerical Static Analysis

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

10.1007/978-3-540-69149-5_24 ◽

2008 ◽

pp. 227-236 ◽

Cited By ~ 2

Author(s):

Arnaud Venet

Keyword(s):

Static Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automated Test Generation and Verified Software

Computational Logical Frameworks and Generic Program Analysis Technologies

Programming with Proofs: Language-Based Approaches to Totally Correct Software

Linking the Meaning of Programs to What the Compiler Can Verify

Trends and Challenges in Algorithmic Software Verification

Toasters, Seat Belts, and Inferring Program Properties

Towards a Worldwide Verification Technology

A Mini Challenge: Build a Verifiable Filesystem

Lessons from the JML Project

Towards the Integration of Symbolic and Numerical Static Analysis

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