Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662545799, 9783662545805
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Forester: From Heap Shapes to Automata Predicates

2017 ◽  
pp. 365-369 ◽  
Author(s):  
Lukáš Holík ◽  
Martin Hruška ◽  
Ondřej Lengál ◽  
Adam Rogalewicz ◽  
Jiří Šimáček ◽  
...  

Context-Bounded Analysis for POWER

2017 ◽  
pp. 56-74 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Mohamed Faouzi Atig ◽  
Ahmed Bouajjani ◽  
Tuan Phong Ngo

Symbiotic 4: Beyond Reachability

2017 ◽  
pp. 385-389 ◽  
Author(s):  
Marek Chalupa ◽  
Martina Vitovská ◽  
Martin Jonáš ◽  
Jiri Slaby ◽  
Jan Strejček

Skink: Static Analysis of Programs in LLVM Intermediate Representation

2017 ◽  
pp. 380-384 ◽  
Author(s):  
Franck Cassez ◽  
Anthony M. Sloane ◽  
Matthew Roberts ◽  
Matthew Pigram ◽  
Pongsak Suvanpong ◽  
...  
Keyword(s):  
Static Analysis ◽  
Intermediate Representation
Load More ...
Sign in / Sign up

Export Citation Format

Share Document