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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783319899596, 9783319899602
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Generation of Precise and Useful Commutativity Conditions

2018 ◽  
pp. 115-132 ◽  
Author(s):  
Kshitij Bansal ◽  
Eric Koskinen ◽  
Omer Tripp
Keyword(s):  
Automatic Generation

scholarly journals From Natural Projection to Partial Model Checking and Back

2018 ◽  
pp. 344-361 ◽  
Author(s):  
Gabriele Costa ◽  
David Basin ◽  
Chiara Bodei ◽  
Pierpaolo Degano ◽  
Letterio Galletta
Keyword(s):  
Model Checking ◽  
Natural Projection ◽  
Partial Model

scholarly journals Strategy Representation by Decision Trees in Reactive Synthesis

2018 ◽  
pp. 385-407 ◽  
Author(s):  
Tomáš Brázdil ◽  
Krishnendu Chatterjee ◽  
Jan Křetínský ◽  
Viktor Toman
Keyword(s):  
Decision Trees ◽  
Reactive Synthesis

scholarly journals Property Checking Array Programs Using Loop Shrinking

2018 ◽  
pp. 213-231 ◽  
Author(s):  
Shrawan Kumar ◽  
Amitabha Sanyal ◽  
R. Venkatesh ◽  
Punit Shah
Load More ...
Sign in / Sign up

Export Citation Format

Share Document