Search: github.com/runtimeverification | Heykuki News

HK

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

6 years ago

2 points

2.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]

github.com/runtimeverification

5 years ago

1 points

3.

Show HN: Runtime Verification for SQL Agents

github.com/yudduy

7 months ago

1 points

4.

NASA Copilot: A stream-based runtime-verification framework

github.com/Copilot-Language

2 years ago

1 points

5.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification

github.com/JGiraldo29

2 years ago

82 points