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

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL

2017 ◽  
pp. 77-93 ◽  
Author(s):  
Noel Brett ◽  
Umair Siddique ◽  
Borzoo Bonakdarpour
Keyword(s):  
Runtime Verification

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

scholarly journals Maximizing the Conditional Expected Reward for Reaching the Goal

2017 ◽  
pp. 269-285 ◽  
Author(s):  
Christel Baier ◽  
Joachim Klein ◽  
Sascha Klüppelholz ◽  
Sascha Wunderlich

scholarly journals Sequential Convex Programming for the Efficient Verification of Parametric MDPs

2017 ◽  
pp. 133-150 ◽  
Author(s):  
Murat Cubuktepe ◽  
Nils Jansen ◽  
Sebastian Junges ◽  
Joost-Pieter Katoen ◽  
Ivan Papusha ◽  
...  
Keyword(s):  
Convex Programming ◽  
Sequential Convex Programming ◽  
Efficient Verification

scholarly journals The Automatic Detection of Token Structures and Invariants Using SAT Checking

2017 ◽  
pp. 249-265 ◽  
Author(s):  
Pedro Antonino ◽  
Thomas Gibson-Robinson ◽  
A. W. Roscoe
Keyword(s):  
Automatic Detection

HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction

2017 ◽  
pp. 370-374
Author(s):  
Ton Chanh Le ◽  
Quang-Trung Ta ◽  
Wei-Ngan Chin
Keyword(s):  
Second Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document