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

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 ◽  
...  

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

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