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

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783030175016, 9783030175023
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference

2019 ◽  
pp. 209-213 ◽  
Author(s):  
Mikhail R. Gadelha ◽  
Felipe Monteiro ◽  
Lucas Cordeiro ◽  
Denis Nicole
Keyword(s):  
C Programs

scholarly journals VeriFuzz: Program Aware Fuzzing

2019 ◽  
pp. 244-249 ◽  
Author(s):  
Animesh Basak Chowdhury ◽  
Raveendra Kumar Medicherla ◽  
Venkatesh R

scholarly journals RERS 2019: Combining Synthesis with Real-World Models

2019 ◽  
pp. 101-115 ◽  
Author(s):  
Marc Jasper ◽  
Malte Mues ◽  
Alnis Murtovi ◽  
Maximilian Schlüter ◽  
Falk Howar ◽  
...  
Keyword(s):  
Real World

scholarly journals Confluence Competition 2019

2019 ◽  
pp. 25-40 ◽  
Author(s):  
Aart Middeldorp ◽  
Julian Nagele ◽  
Kiraku Shintani

scholarly journals Symbolic Pathfinder for SV-COMP

2019 ◽  
pp. 239-243 ◽  
Author(s):  
Yannic Noller ◽  
Corina S. Păsăreanu ◽  
Aymeric Fromherz ◽  
Xuan-Bach D. Le ◽  
Willem Visser

scholarly journals The Termination and Complexity Competition

2019 ◽  
pp. 156-166 ◽  
Author(s):  
Jürgen Giesl ◽  
Albert Rubio ◽  
Christian Sternagel ◽  
Johannes Waldmann ◽  
Akihisa Yamada
Load More ...
Sign in / Sign up

Export Citation Format

Share Document