Computer Aided Verification - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer International Publishing

9783030255428, 9783030255435
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals AliveInLean: A Verified LLVM Peephole Optimization Verifier

2019 ◽  
pp. 445-455
Author(s):  
Juneyoung Lee ◽  
Chung-Kil Hur ◽  
Nuno P. Lopes

scholarly journals cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis

2019 ◽  
pp. 74-83 ◽  
Author(s):  
Andrew Reynolds ◽  
Haniel Barbosa ◽  
Andres Nötzli ◽  
Clark Barrett ◽  
Cesare Tinelli

scholarly journals Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems

2019 ◽  
pp. 137-154
Author(s):  
Sicun Gao ◽  
James Kapinski ◽  
Jyotirmoy Deshmukh ◽  
Nima Roohi ◽  
Armando Solar-Lezama ◽  
...  
Keyword(s):  
Dynamical Systems ◽  
Inductive Proof ◽  
Proof Rules

scholarly journals Gradual Consistency Checking

2019 ◽  
pp. 267-285
Author(s):  
Rachid Zennou ◽  
Ahmed Bouajjani ◽  
Constantin Enea ◽  
Mohammed Erradi
Keyword(s):  
Consistency Checking

scholarly journals Invertibility Conditions for Floating-Point Formulas

2019 ◽  
pp. 116-136
Author(s):  
Martin Brain ◽  
Aina Niemetz ◽  
Mathias Preiner ◽  
Andrew Reynolds ◽  
Clark Barrett ◽  
...  
Keyword(s):  
Floating Point

scholarly journals Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics

2019 ◽  
pp. 245-266 ◽  
Author(s):  
Idan Berkovits ◽  
Marijana Lazić ◽  
Giuliano Losa ◽  
Oded Padon ◽  
Sharon Shoham
Keyword(s):  
Distributed Algorithms
Load More ...
Sign in / Sign up

Export Citation Format

Share Document