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

9783319723075, 9783319723082

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Abstraction Technique for Describing Concurrent Program Behaviour

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

10.1007/978-3-319-72308-2_12 ◽

2017 ◽

pp. 191-209 ◽

Cited By ~ 7

Author(s):

Wytse Oortwijn ◽

Stefan Blom ◽

Dilian Gurov ◽

Marieke Huisman ◽

Marina Zaharieva-Stojanovski

Keyword(s):

Concurrent Program

Download Full-text

Memory-Efficient Tactics for Randomized LTL Model Checking

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

10.1007/978-3-319-72308-2_10 ◽

2017 ◽

pp. 152-169

Author(s):

Kim Larsen ◽

Doron Peled ◽

Sean Sedwards

Keyword(s):

Model Checking ◽

Ltl Model Checking ◽

Memory Efficient

Download Full-text

A Formally Verified Interpreter for a Shell-Like Programming Language

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

10.1007/978-3-319-72308-2_1 ◽

2017 ◽

pp. 1-18 ◽

Cited By ~ 3

Author(s):

Nicolas Jeannerod ◽

Claude Marché ◽

Ralf Treinen

Keyword(s):

Programming Language

Download Full-text

Automating the Verification of Floating-Point Programs

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

10.1007/978-3-319-72308-2_7 ◽

2017 ◽

pp. 102-119 ◽

Cited By ~ 2

Author(s):

Clément Fumex ◽

Claude Marché ◽

Yannick Moy

Keyword(s):

Floating Point

Download Full-text

Proving JDK’s Dual Pivot Quicksort Correct

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

10.1007/978-3-319-72308-2_3 ◽

2017 ◽

pp. 35-48 ◽

Cited By ~ 4

Author(s):

Bernhard Beckert ◽

Jonas Schiffl ◽

Peter H. Schmitt ◽

Mattias Ulbrich

Download Full-text

A Formal Analysis of the Compact Position Reporting Algorithm

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

10.1007/978-3-319-72308-2_2 ◽

2017 ◽

pp. 19-34 ◽

Cited By ~ 2

Author(s):

Aaron Dutle ◽

Mariano Moscato ◽

Laura Titolo ◽

César Muñoz

Keyword(s):

Formal Analysis

Download Full-text

A Semi-automatic Proof of Strong Connectivity

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

10.1007/978-3-319-72308-2_4 ◽

2017 ◽

pp. 49-65

Author(s):

Ran Chen ◽

Jean-Jacques Lévy

Keyword(s):

Strong Connectivity

Download Full-text

Practical Void Safety

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

10.1007/978-3-319-72308-2_9 ◽

2017 ◽

pp. 132-151

Author(s):

Alexander Kogtenkov

Download Full-text

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions

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

10.1007/978-3-319-72308-2_8 ◽

2017 ◽

pp. 120-131 ◽

Cited By ~ 3

Author(s):

Saeed Nejati ◽

Jia Hui Liang ◽

Catherine Gebotys ◽

Krzysztof Czarnecki ◽

Vijay Ganesh

Keyword(s):

Hash Functions ◽

Cryptographic Hash Functions

Download Full-text

How to Get an Efficient yet Verified Arbitrary-Precision Integer Library

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

10.1007/978-3-319-72308-2_6 ◽

2017 ◽

pp. 84-101 ◽

Cited By ~ 6

Author(s):

Raphaël Rieu-Helft ◽

Claude Marché ◽

Guillaume Melquiond

Keyword(s):

Arbitrary Precision

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

An Abstraction Technique for Describing Concurrent Program Behaviour

Memory-Efficient Tactics for Randomized LTL Model Checking

A Formally Verified Interpreter for a Shell-Like Programming Language

Automating the Verification of Floating-Point Programs

Proving JDK’s Dual Pivot Quicksort Correct

A Formal Analysis of the Compact Position Reporting Algorithm

A Semi-automatic Proof of Strong Connectivity

Practical Void Safety

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions

How to Get an Efficient yet Verified Arbitrary-Precision Integer Library

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