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 Lazy Annotation Revisited

2014 ◽  
pp. 243-259 ◽  
Author(s):  
Kenneth L. McMillan

LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes

2014 ◽  
pp. 620-627 ◽  
Author(s):  
Alejandro Sánchez ◽  
César Sánchez

scholarly journals Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions

2014 ◽  
pp. 391-406 ◽  
Author(s):  
Henri Hansen ◽  
Shang-Wei Lin ◽  
Yang Liu ◽  
Truong Khanh Nguyen ◽  
Jun Sun
Keyword(s):  
Partial Order ◽  
Timed Automata ◽  
Order Reduction ◽  
Partial Order Reduction ◽  
Best Friend

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 Causal Termination of Multi-threaded Programs

2014 ◽  
pp. 814-830 ◽  
Author(s):  
Andrey Kupriyanov ◽  
Bernd Finkbeiner

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

scholarly journals Vac - Verifier of Administrative Role-Based Access Control Policies

2014 ◽  
pp. 184-191 ◽  
Author(s):  
Anna Lisa Ferrara ◽  
P. Madhusudan ◽  
Truc L. Nguyen ◽  
Gennaro Parlato
Keyword(s):  
Access Control ◽  
Role Based Access Control ◽  
Control Policies ◽  
Access Control Policies ◽  
Role Based

Solving Games without Controllable Predecessor

2014 ◽  
pp. 533-540 ◽  
Author(s):  
Nina Narodytska ◽  
Alexander Legg ◽  
Fahiem Bacchus ◽  
Leonid Ryzhyk ◽  
Adam Walker
Load More ...
Sign in / Sign up

Export Citation Format

Share Document