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 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