Search: github.com/runtimeverification | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Formal verification of the Algorand consensus protocol (github.com/runtimeverification)

2 points

6 years ago

2.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] (github.com/runtimeverification)

1 point

4 years ago

3.

Show HN: Runtime Verification for SQL Agents (github.com/yudduy)

1 point

6 months ago

4.

NASA Copilot: A stream-based runtime-verification framework (github.com/Copilot-Language)

1 point

2 years ago

5.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification (github.com/JGiraldo29)

82 points

2 years ago