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

TOTAL DOCUMENTS

34
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662545768, 9783662545775
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Proving Termination Through Conditional Termination

2017 ◽  
pp. 99-117 ◽  
Author(s):  
Cristina Borralleras ◽  
Marc Brockschmidt ◽  
Daniel Larraz ◽  
Albert Oliveras ◽  
Enric Rodríguez-Carbonell ◽  
...  

scholarly journals Bounded Quantifier Instantiation for Checking Inductive Invariants

2017 ◽  
pp. 76-95 ◽  
Author(s):  
Yotam M. Y. Feldman ◽  
Oded Padon ◽  
Neil Immerman ◽  
Mooly Sagiv ◽  
Sharon Shoham
Keyword(s):  
Quantifier Instantiation ◽  
Inductive Invariants

scholarly journals Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF

2017 ◽  
pp. 58-75 ◽  
Author(s):  
Alessandro Cimatti ◽  
Alberto Griggio ◽  
Ahmed Irfan ◽  
Marco Roveri ◽  
Roberto Sebastiani
Keyword(s):  
Transition Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document