Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer International Publishing

9783319216676, 9783319216683
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Synthesis Through Unification

2015 ◽  
pp. 163-179 ◽  
Author(s):  
Rajeev Alur ◽  
Pavol Černý ◽  
Arjun Radhakrishna

scholarly journals Deductive Program Repair

2015 ◽  
pp. 217-233 ◽  
Author(s):  
Etienne Kneuss ◽  
Manos Koukoutos ◽  
Viktor Kuncak
Keyword(s):  
Program Repair

scholarly journals Counterexample-Guided Quantifier Instantiation for Synthesis in SMT

2015 ◽  
pp. 198-216 ◽  
Author(s):  
Andrew Reynolds ◽  
Morgan Deters ◽  
Viktor Kuncak ◽  
Cesare Tinelli ◽  
Clark Barrett
Keyword(s):  
Quantifier Instantiation

Automated and Modular Refinement Reasoning for Concurrent Programs

2015 ◽  
pp. 449-465 ◽  
Author(s):  
Chris Hawblitzel ◽  
Erez Petrank ◽  
Shaz Qadeer ◽  
Serdar Tasiran
Keyword(s):  
Concurrent Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document