Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

57
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By Springer International Publishing

9783319088662, 9783319088679
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Termination Analysis by Learning Terminating Programs

2014 ◽  
pp. 797-813 ◽  
Author(s):  
Matthias Heizmann ◽  
Jochen Hoenicke ◽  
Andreas Podelski
Keyword(s):  
Termination Analysis

scholarly journals QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers

2014 ◽  
pp. 866-873 ◽  
Author(s):  
Arlen Cox ◽  
Bor-Yuh Evan Chang ◽  
Sriram Sankaranarayanan

scholarly journals String Constraints for Verification

2014 ◽  
pp. 150-166 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Mohamed Faouzi Atig ◽  
Yu-Fang Chen ◽  
Lukáš Holík ◽  
Ahmed Rezine ◽  
...  

scholarly journals Finding Instability in Biological Models

2014 ◽  
pp. 358-372 ◽  
Author(s):  
Byron Cook ◽  
Jasmin Fisher ◽  
Benjamin A. Hall ◽  
Samin Ishtiaq ◽  
Garvit Juniwal ◽  
...  
Keyword(s):  
Biological Models

Solving Games without Controllable Predecessor

2014 ◽  
pp. 533-540 ◽  
Author(s):  
Nina Narodytska ◽  
Alexander Legg ◽  
Fahiem Bacchus ◽  
Leonid Ryzhyk ◽  
Adam Walker

Regression Test Selection for Distributed Software Histories

2014 ◽  
pp. 293-309 ◽  
Author(s):  
Milos Gligoric ◽  
Rupak Majumdar ◽  
Rohan Sharma ◽  
Lamyaa Eloussi ◽  
Darko Marinov
Keyword(s):  
Test Selection ◽  
Distributed Software ◽  
Regression Test Selection ◽  
Regression Test ◽  
Selection For
Load More ...
Sign in / Sign up

Export Citation Format

Share Document