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

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

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