Runtime Verification
Registry page ↗ runtimeverification-com
Every figure about this project that we checked against its source page, newest first.
11 figures
8
coq-avm library for version 8 af the AVM
“…requested 250,000 ALGO to finish a Coq-based AVM version 8 library, explicitly framed as an 'alternative to the AVM…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
250,000
ALGO Requested
“…requested 250,000 ALGO to finish a Coq-based AVM version 8 library, explicitly framed as an 'alternative to the AVM…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
25
AVM version 8 op codes
“…pull request was merged into the xGov repository, and the library at the time supported stepping through 25 AVM opcodes.”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
25+
Senior engineers
“…the University of Illinois at Urbana-Champaign, it lists 25+ senior engineers, an average tenure of 4 years, and…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
8
coq-avm library for version 8 af the AVM
“…requested 250,000 ALGO to finish a Coq-based AVM version 8 library, explicitly framed as an 'alternative to the AVM…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
250,000
ALGO Requested
“…requested 250,000 ALGO to finish a Coq-based AVM version 8 library, explicitly framed as an 'alternative to the AVM…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
25
AVM version 8 op codes
“…pull request was merged into the xGov repository, and the library at the time supported stepping through 25 AVM opcodes.”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
4
AVG TENURE
“…of Illinois at Urbana-Champaign, it lists 25+ senior engineers, an average tenure of 4 years, and heritage with NASA…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
110
active relay nodes
“At the time there were about 110 registered relays, RV's among them.”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
170
lemmas
“…and Lucas Pena, broke the safety theorem into about 170 lemmas and pinned down the assumptions the guarantee…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023
4
average tenure
“…of Illinois at Urbana-Champaign, it lists 25+ senior engineers, an average tenure of 4 years, and heritage with NASA…”
Used in Runtime Verification proved Algorand can't fork — its KAVM tool has been idle since 2023