Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification

2015 ◽  
Author(s):  
Daniel Matichuk ◽  
Toby Murray ◽  
June Andronick ◽  
Ross Jeffery ◽  
Gerwin Klein ◽  
...  
Keyword(s):  
Empirical Study ◽  
Software Verification ◽  
Leading Indicator ◽  
Formal Software Verification

scholarly journals Formal software verification measures up

2021 ◽  
Vol 64 (7) ◽  
pp. 13-15
Author(s):  
Samuel Greengard
Keyword(s):  
Software Verification ◽  
Mathematical Proofs ◽  
Formal Software Verification

Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?

Sign in / Sign up

Export Citation Format

Share Document