HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Nagini: A Static Verifier for Python [pdf]
pm.inf.ethz.ch
40 comments
8 years ago
Klasiaster
102 points
2.
▲
The Effect of Richer Visualizations on Code Comprehension [pdf]
pm.inf.ethz.ch
1 comment
4 years ago
brentroose
4 points
3.
▲
Viper: Verification Infrastructure for Permission-Based Reasoning
pm.inf.ethz.ch
discuss
2 years ago
leonry
2 points
4.
▲
Leveraging Rust Types for Modular Specification and Verification [pdf]
pm.inf.ethz.ch
discuss
7 years ago
matt_d
1 points