Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer International Publishing

9783319633893, 9783319633909
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Storm is Coming: A Modern Probabilistic Model Checker

2017 ◽  
pp. 592-600 ◽  
Author(s):  
Christian Dehnert ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen ◽  
Matthias Volk
Keyword(s):  
Probabilistic Model ◽  
Model Checker

scholarly journals Network-Wide Configuration Synthesis

2017 ◽  
pp. 261-281 ◽  
Author(s):  
Ahmed El-Hassany ◽  
Petar Tsankov ◽  
Laurent Vanbever ◽  
Martin Vechev
Keyword(s):  
Configuration Synthesis

scholarly journals Ascertaining Uncertainty for Efficient Exact Cache Analysis

2017 ◽  
pp. 22-40 ◽  
Author(s):  
Valentin Touzeau ◽  
Claire Maïza ◽  
David Monniaux ◽  
Jan Reineke
Keyword(s):  
Cache Analysis

scholarly journals BoSy: An Experimentation Framework for Bounded Synthesis

2017 ◽  
pp. 325-332 ◽  
Author(s):  
Peter Faymonville ◽  
Bernd Finkbeiner ◽  
Leander Tentrup

scholarly journals Automating Induction for Solving Horn Clauses

2017 ◽  
pp. 571-591 ◽  
Author(s):  
Hiroshi Unno ◽  
Sho Torii ◽  
Hiroki Sakamoto
Keyword(s):  
Horn Clauses

Automated Resource Analysis with Coq Proof Objects

2017 ◽  
pp. 64-85 ◽  
Author(s):  
Quentin Carbonneaux ◽  
Jan Hoffmann ◽  
Thomas Reps ◽  
Zhong Shao
Keyword(s):  
Resource Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document