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

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642541070, 9783642541087
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Result Certification of Static Program Analysers with Automated Theorem Provers

2014 ◽  
pp. 304-325 ◽  
Author(s):  
Frédéric Besson ◽  
Pierre-Emmanuel Cornilleau ◽  
Thomas Jensen
Keyword(s):  
Theorem Provers

Parallel Bounded Verification of Alloy Models by TranScoping

2014 ◽  
pp. 88-107 ◽  
Author(s):  
Nicolás Rosner ◽  
Carlos Gustavo López Pombo ◽  
Nazareno Aguirre ◽  
Ali Jaoua ◽  
Ali Mili ◽  
...  

Automated Code Proofs on a Formal Model of the X86

2014 ◽  
pp. 222-241 ◽  
Author(s):  
Shilpi Goel ◽  
Warren A. Hunt
Keyword(s):  
Formal Model

Extending the Theory of Arrays: memset, memcpy, and Beyond

2014 ◽  
pp. 108-128
Author(s):  
Stephan Falke ◽  
Florian Merz ◽  
Carsten Sinz

Verified Calculations

2014 ◽  
pp. 170-190 ◽  
Author(s):  
K. Rustan M. Leino ◽  
Nadia Polikarpova

scholarly journals Static Analysis of Programs with Imprecise Probabilistic Inputs

2014 ◽  
pp. 22-47 ◽  
Author(s):  
Assale Adje ◽  
Olivier Bouissou ◽  
Jean Goubault-Larrecq ◽  
Eric Goubault ◽  
Sylvie Putot
Keyword(s):  
Static Analysis

Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving

2014 ◽  
pp. 262-280 ◽  
Author(s):  
Liang Zou ◽  
Jidong Lv ◽  
Shuling Wang ◽  
Naijun Zhan ◽  
Tao Tang ◽  
...  
Keyword(s):  
Control System ◽  
Theorem Proving ◽  
Train Control ◽  
Train Control System

scholarly journals Program Checking with Less Hassle

2014 ◽  
pp. 149-169 ◽  
Author(s):  
Julian Tschannen ◽  
Carlo A. Furia ◽  
Martin Nordio ◽  
Bertrand Meyer
Keyword(s):  
Program Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document