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

TOTAL DOCUMENTS

69
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662496732, 9783662496749
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals TcT: Tyrolean Complexity Tool

2016 ◽  
pp. 407-423 ◽  
Author(s):  
Martin Avanzini ◽  
Georg Moser ◽  
Michael Schaper

scholarly journals Developing and Debugging Proof Strategies by Tinkering

2016 ◽  
pp. 573-579 ◽  
Author(s):  
Yuhui Lin ◽  
Pierre Le Bras ◽  
Gudmund Grov

scholarly journals Efficient Syntax-Driven Lumping of Differential Equations

2016 ◽  
pp. 93-111 ◽  
Author(s):  
Luca Cardelli ◽  
Mirco Tribastone ◽  
Max Tschaikowski ◽  
Andrea Vandin
Keyword(s):  
Differential Equations

scholarly journals Advances in Symbolic Probabilistic Model Checking with PRISM

2016 ◽  
pp. 349-366 ◽  
Author(s):  
Joachim Klein ◽  
Christel Baier ◽  
Philipp Chrszon ◽  
Marcus Daum ◽  
Clemens  Dubslaff ◽  
...  
Keyword(s):  
Model Checking ◽  
Probabilistic Model ◽  
Probabilistic Model Checking

LCTD: Tests-Guided Proofs for C Programs on LLVM

2016 ◽  
pp. 927-929 ◽  
Author(s):  
Olli Saarikivi ◽  
Keijo Heljanko
Keyword(s):  
C Programs

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics

2016 ◽  
pp. 752-769 ◽  
Author(s):  
Nima Roohi ◽  
Pavithra Prabhakar ◽  
Mahesh Viswanathan
Keyword(s):  
Hybrid Automata

v2c – A Verilog to C Translator

2016 ◽  
pp. 580-586 ◽  
Author(s):  
Rajdeep Mukherjee ◽  
Michael Tautschnig ◽  
Daniel Kroening

Parametric Runtime Verification of C Programs

2016 ◽  
pp. 299-315 ◽  
Author(s):  
Zhe Chen ◽  
Zhemin Wang ◽  
Yunlong Zhu ◽  
Hongwei Xi ◽  
Zhibin Yang
Keyword(s):  
Runtime Verification ◽  
C Programs

Complementing Semi-deterministic Büchi Automata

2016 ◽  
pp. 770-787 ◽  
Author(s):  
František Blahoudek ◽  
Matthias Heizmann ◽  
Sven Schewe ◽  
Jan Strejček ◽  
Ming-Hsien Tsai
Keyword(s):  
Büchi Automata ◽  
Buchi Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document