formal software verification
Recently Published Documents

TOTAL DOCUMENTS

15
(FIVE YEARS 1)

H-INDEX

5
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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?

What's formal software verification?

2019 ◽  
Vol 25 (4) ◽  
pp. 64-65
Author(s):  
Oana Niculaescu
Keyword(s):  
Software Verification ◽  
Formal Software Verification

Methods of Formal Software Verification in the Context of Distributed Systems

2019 ◽  
pp. 546-555 ◽  
Author(s):  
Anna Fatkina ◽  
Oleg Iakushkin ◽  
Dmitry Selivanov ◽  
Vladimir Korkhov
Keyword(s):  
Distributed Systems ◽  
Software Verification ◽  
Formal Software Verification

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 at Model and at Source Code Levels

2012 ◽  
pp. 162-169
Author(s):  
Anthony Fernandes Pires ◽  
Thomas Polacsek ◽  
Stéphane Duprat
Keyword(s):  
Software Verification ◽  
Source Code ◽  
Formal Software Verification

scholarly journals A Survey of Automated Techniques for Formal Software Verification

2008 ◽  
Vol 27 (7) ◽  
pp. 1165-1178 ◽  
Author(s):  
Vijay D'Silva ◽  
Daniel Kroening ◽  
Georg Weissenbacher
Keyword(s):  
Software Verification ◽  
Formal Software Verification
Load More ...
Sign in / Sign up

Export Citation Format

Share Document