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 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

scholarly journals Verifying Linearizability of Intel® Software Guard Extensions

2015 ◽  
pp. 144-160 ◽  
Author(s):  
Rebekah Leslie-Hurd ◽  
Dror Caspi ◽  
Matthew Fernandez

scholarly journals Deductive Program Repair

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

scholarly journals Synthesis Through Unification

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

scholarly journals Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions

2015 ◽  
pp. 304-321 ◽  
Author(s):  
Amir M. Ben-Amram ◽  
Samir Genaim
Keyword(s):  
Ranking Functions

scholarly journals Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems

2015 ◽  
pp. 429-448 ◽  
Author(s):  
Ankush Desai ◽  
Sanjit A. Seshia ◽  
Shaz Qadeer ◽  
David Broman ◽  
John C. Eidson
Keyword(s):  
Synchronous Systems

scholarly journals The Inez Mathematical Programming Modulo Theories Framework

2015 ◽  
pp. 53-69 ◽  
Author(s):  
Panagiotis Manolios ◽  
Jorge Pais ◽  
Vasilis Papavasileiou
Keyword(s):  
Mathematical Programming

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

Poling: SMT Aided Linearizability Proofs

2015 ◽  
pp. 3-19 ◽  
Author(s):  
He Zhu ◽  
Gustavo Petri ◽  
Suresh Jagannathan
Load More ...
Sign in / Sign up

Export Citation Format

Share Document