Lecture Notes in Computer Science - Software Verification
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 14)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030636173, 9783030636180
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MCBAT: Model Counting for Constraints over Bounded Integer Arrays

2020 ◽  
pp. 124-143
Author(s):  
Abtin Molavi ◽  
Tommy Schneider ◽  
Mara Downing ◽  
Lucas Bang
Keyword(s):  
Model Counting

Automatic Detection and Repair of Transition- Based Leakage in Software Binaries

2020 ◽  
pp. 50-67
Author(s):  
Konstantinos Athanasiou ◽  
Thomas Wahl ◽  
A. Adam Ding ◽  
Yunsi Fei
Keyword(s):  
Automatic Detection

Verification of an Optimized NTT Algorithm

2020 ◽  
pp. 144-160
Author(s):  
Jorge A. Navas ◽  
Bruno Dutertre ◽  
Ian A. Mason

scholarly journals Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results?

2020 ◽  
pp. 163-177
Author(s):  
Fabienne Jézéquel ◽  
Stef Graillat ◽  
Daichi Mukunoki ◽  
Toshiyuki Imamura ◽  
Roman Iakymchuk
Keyword(s):  
Error Estimation ◽  
Rounding Error

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language

2020 ◽  
pp. 106-123
Author(s):  
Jay Bosamiya ◽  
Sydney Gibson ◽  
Yao Li ◽  
Bryan Parno ◽  
Chris Hawblitzel
Keyword(s):  
Assembly Language ◽  
Hoare Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document