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

scholarly journals A comparison of tools for teaching formal software verification

2008 ◽  
Vol 21 (3) ◽  
pp. 293-301 ◽  
Author(s):  
Ingo Feinerer ◽  
Gernot Salzer
Keyword(s):  
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 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

A practical approach to formal software verification by static analysis

2008 ◽  
Vol XXVIII (1) ◽  
pp. 92-95 ◽  
Author(s):  
Arnaud Venet
Keyword(s):  
Static Analysis ◽  
Software Verification ◽  
Practical Approach ◽  
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