Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662491218, 9783662491225
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking with Multi-threaded IC3 Portfolios

2015 ◽  
pp. 517-535 ◽  
Author(s):  
Sagar Chaki ◽  
Derrick Karimi
Keyword(s):  
Model Checking

Reward-Bounded Reachability Probability for Uncertain Weighted MDPs

2015 ◽  
pp. 351-371 ◽  
Author(s):  
Vahid Hashemi ◽  
Holger Hermanns ◽  
Lei Song

Pointer Race Freedom

2015 ◽  
pp. 393-412 ◽  
Author(s):  
Frédéric Haziza ◽  
Lukáš Holík ◽  
Roland Meyer ◽  
Sebastian Wolff

scholarly journals From Low-Level Pointers to High-Level Containers

2015 ◽  
pp. 431-452 ◽  
Author(s):  
Kamil Dudka ◽  
Lukáš Holík ◽  
Petr Peringer ◽  
Marek Trtík ◽  
Tomáš Vojnar
Keyword(s):  
Low Level ◽  
High Level

scholarly journals Program Analysis with Local Policy Iteration

2015 ◽  
pp. 127-146 ◽  
Author(s):  
Egor George Karpenkov ◽  
David Monniaux ◽  
Philipp Wendler
Keyword(s):  
Program Analysis ◽  
Policy Iteration ◽  
Local Policy

scholarly journals Lipschitz Robustness of Timed I/O Systems

2015 ◽  
pp. 250-267 ◽  
Author(s):  
Thomas A. Henzinger ◽  
Jan Otop ◽  
Roopsha Samanta

Property Directed Abstract Interpretation

2015 ◽  
pp. 104-123 ◽  
Author(s):  
Noam Rinetzky ◽  
Sharon Shoham
Keyword(s):  
Abstract Interpretation

Exact Heap Summaries for Symbolic Execution

2015 ◽  
pp. 206-225 ◽  
Author(s):  
Benjamin Hillery ◽  
Eric Mercer ◽  
Neha Rungta ◽  
Suzette Person
Keyword(s):  
Symbolic Execution

Abstract Interpretation with Infinitesimals

2015 ◽  
pp. 229-249 ◽  
Author(s):  
Kengo Kido ◽  
Swarat Chaudhuri ◽  
Ichiro Hasuo
Keyword(s):  
Abstract Interpretation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document