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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319296128, 9783319296135

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Inside a Verified Flash File System: Transactions and Garbage Collection

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

10.1007/978-3-319-29613-5_5 ◽

2016 ◽

pp. 73-93 ◽

Cited By ~ 7

Author(s):

Gidon Ernst ◽

Jörg Pfähler ◽

Gerhard Schellhorn ◽

Wolfgang Reif

Keyword(s):

Garbage Collection ◽

File System

Download Full-text

Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

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

10.1007/978-3-319-29613-5_11 ◽

2016 ◽

pp. 183-201 ◽

Cited By ~ 3

Author(s):

Eric Smith ◽

Alessandro Coglio

Keyword(s):

Theorem Prover ◽

Android Platform ◽

Android App

Download Full-text

Dynamic Frames Based Verification Method for Concurrent Java Programs

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

10.1007/978-3-319-29613-5_8 ◽

2016 ◽

pp. 124-141 ◽

Cited By ~ 3

Author(s):

Wojciech Mostowski

Keyword(s):

Verification Method ◽

Java Programs

Download Full-text

How to Avoid Proving the Absence of Integer Overflows

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

10.1007/978-3-319-29613-5_6 ◽

2016 ◽

pp. 94-109 ◽

Cited By ~ 6

Author(s):

Martin Clochard ◽

Jean-Christophe Filliâtre ◽

Andrei Paskevich

Download Full-text

A Simpler Reduction Theorem for x86-TSO

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

10.1007/978-3-319-29613-5_9 ◽

2016 ◽

pp. 142-164 ◽

Cited By ~ 2

Author(s):

Jonas Oberhauser

Keyword(s):

Reduction Theorem

Download Full-text

Testing the IPC Protocol for a Real-Time Operating System

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

10.1007/978-3-319-29613-5_3 ◽

2016 ◽

pp. 40-60 ◽

Cited By ~ 1

Author(s):

Achim D. Brucker ◽

Oto Havle ◽

Yakoub Nemouchi ◽

Burkhart Wolff

Keyword(s):

Operating System ◽

Real Time ◽

Real Time Operating System

Download Full-text

AUSPICE: Automatic Safety Property Verification for Unmodified Executables

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

10.1007/978-3-319-29613-5_12 ◽

2016 ◽

pp. 202-222 ◽

Cited By ~ 6

Author(s):

Jiaqi Tan ◽

Hui Jun Tay ◽

Rajeev Gandhi ◽

Priya Narasimhan

Keyword(s):

Safety Property ◽

Property Verification

Download Full-text

Machine-Checked Proofs for Realizability Checking Algorithms

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

10.1007/978-3-319-29613-5_7 ◽

2016 ◽

pp. 110-123 ◽

Cited By ~ 1

Author(s):

Andreas Katis ◽

Andrew Gacek ◽

Michael W. Whalen

Download Full-text

Recursive Games for Compositional Program Synthesis

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

10.1007/978-3-319-29613-5_2 ◽

2016 ◽

pp. 19-39 ◽

Cited By ~ 1

Author(s):

Tewodros A. Beyene ◽

Swarat Chaudhuri ◽

Corneliu Popeea ◽

Andrey Rybalchenko

Keyword(s):

Program Synthesis ◽

Recursive Games

Download Full-text

Pseudo-Random Number Generator Verification: A Case Study

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

10.1007/978-3-319-29613-5_4 ◽

2016 ◽

pp. 61-72 ◽

Cited By ~ 1

Author(s):

Felix Dörre ◽

Vladimir Klebanov

Keyword(s):

Random Number ◽

Random Number Generator ◽

Number Generator ◽

Pseudo Random Number ◽

Pseudo Random Number Generator

Download Full-text

Lecture Notes in Computer Science - Verified Software: Theories, Tools, and ExperimentsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Inside a Verified Flash File System: Transactions and Garbage Collection

Android Platform Modeling and Android App Verification in the ACL2 Theorem Prover

Dynamic Frames Based Verification Method for Concurrent Java Programs

How to Avoid Proving the Absence of Integer Overflows

A Simpler Reduction Theorem for x86-TSO

Testing the IPC Protocol for a Real-Time Operating System

AUSPICE: Automatic Safety Property Verification for Unmodified Executables

Machine-Checked Proofs for Realizability Checking Algorithms

Recursive Games for Compositional Program Synthesis

Pseudo-Random Number Generator Verification: A Case Study

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