|
@alphasnupe | |||||
|
Oxide from @aatxe is interesting. See his paper and the related works section.
|
||||||
|
||||||
|
|
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 |
|
What formal verification tools are there so far?
|
||
|
|
||
