Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer International Publishing

9783319119359, 9783319119366
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Incremental Encoding and Solving of Cardinality Constraints

2014 ◽  
pp. 297-313 ◽  
Author(s):  
Sven Reimer ◽  
Matthias Sauer ◽  
Tobias Schubert ◽  
Bernd Becker
Keyword(s):  
Cardinality Constraints

Efficiently and Completely Verifying Synchronized Consistency Models

2014 ◽  
pp. 264-280
Author(s):  
Yi Lv ◽  
Luming Sun ◽  
Xiaochun Ye ◽  
Dongrui Fan ◽  
Peng Wu
Keyword(s):  
Consistency Models

Fast Debugging of PRISM Models

2014 ◽  
pp. 146-162 ◽  
Author(s):  
Christian Dehnert ◽  
Nils Jansen ◽  
Ralf Wimmer ◽  
Erika Ábrahám ◽  
Joost-Pieter Katoen

Extensional Crisis and Proving Identity

2014 ◽  
pp. 185-200 ◽  
Author(s):  
Ashutosh Gupta ◽  
Laura Kovács ◽  
Bernhard Kragl ◽  
Andrei Voronkov

scholarly journals Acceleration of Affine Hybrid Transformations

2014 ◽  
pp. 31-46 ◽  
Author(s):  
Bernard Boigelot ◽  
Frédéric Herbreteau ◽  
Isabelle Mainz
Load More ...
Sign in / Sign up

Export Citation Format

Share Document