Search: pm.inf.ethz.ch | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Nagini: A Static Verifier for Python [pdf] (pm.inf.ethz.ch)

102 points

8 years ago

2.

The Effect of Richer Visualizations on Code Comprehension [pdf] (pm.inf.ethz.ch)

4 points

4 years ago

3.

Viper: Verification Infrastructure for Permission-Based Reasoning (pm.inf.ethz.ch)

2 points

a year ago

4.

Leveraging Rust Types for Modular Specification and Verification [pdf] (pm.inf.ethz.ch)

1 point

7 years ago