Project
Bounded Verification Research
Accepted
ZNN Requested
5,000
QSR Requested
50,000
USD Value
9,427.50
Quorum reached
25 Yes
5 No
2 Abstain
ZNN Request
5,000
QSR Request
50,000
USD Request
9,427.50
Quorum reached
25 Yes
5 No
2 Abstain
The work covers a sequence of related research notes exploring bounded verification under strict resource constraints, including header-only verification, bounded inclusion, and minimal state frontier verification.
Owner
Total phases
1
ID
be968cd5ff...2ca222f5f2
Created
18th Dec 2025 10:02:10 AM (UTC)
Updated
31st Dec 2025 03:46:10 PM (UTC)
ZNN
5,000
QSR
50,000
USD
10,159.00
12 votes needed
19 Yes
0 No
1 Abstain
Loading...