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

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

16
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642367410, 9783642367427
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Encoding Monomorphic and Polymorphic Types

2013 ◽  
pp. 493-507 ◽  
Author(s):  
Jasmin Christian Blanchette ◽  
Sascha Böhme ◽  
Andrei Popescu ◽  
Nicholas Smallbone

scholarly journals An Overview of the mCRL2 Toolset and Its Recent Advances

2013 ◽  
pp. 199-213 ◽  
Author(s):  
Sjoerd Cranen ◽  
Jan Friso Groote ◽  
Jeroen J. A. Keiren ◽  
Frank P. M. Stappers ◽  
Erik P. de Vink ◽  
...  
Keyword(s):  
Recent Advances

The MathSAT5 SMT Solver

2013 ◽  
pp. 93-107 ◽  
Author(s):  
Alessandro Cimatti ◽  
Alberto Griggio ◽  
Bastiaan Joost Schaafsma ◽  
Roberto Sebastiani
Keyword(s):  
Smt Solver

UFO: Verification with Interpolants and Abstract Interpretation

2013 ◽  
pp. 637-640 ◽  
Author(s):  
Aws Albarghouthi ◽  
Arie Gurfinkel ◽  
Yi Li ◽  
Sagar Chaki ◽  
Marsha Chechik
Keyword(s):  
Abstract Interpretation

Predator: A Tool for Verification of Low-Level List Manipulation

2013 ◽  
pp. 627-629 ◽  
Author(s):  
Kamil Dudka ◽  
Petr Müller ◽  
Petr Peringer ◽  
Tomáš Vojnar
Keyword(s):  
Low Level

Polyglot: Systematic Analysis for Multiple Statechart Formalisms

2013 ◽  
pp. 523-529 ◽  
Author(s):  
Daniel Balasubramanian ◽  
Corina S. Păsăreanu ◽  
Gábor Karsai ◽  
Michael R. Lowry
Keyword(s):  
Systematic Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document