|
@Aaaaaaa93564923 | |||||
|
What formal verification tools are there so far?
|
||||||
|
||||||
|
snupe
@alphasnupe
|
10. lis |
|
The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.
|
||
|
||
|
|
Aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
@Aaaaaaa93564923
|
14. pro |
|
Are any of them usable? 😉
|
||
|
|
||
|
|
snupe
@alphasnupe
|
14. pro |
|
Oxide from @aatxe is interesting. See his paper and the related works section.
|
||
|
|
||