Project
Bounded Verification Research
New
ZNN Requested
5,000
QSR Requested
50,000
USD Value
9,427.50
14 votes needed in 6 days 17 hours
11 Yes
5 No
2 Abstain
ZNN Request
5,000
QSR Request
50,000
USD Request
9,427.50
14 votes needed in 6 days 17 hours
11 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
0
ID
be968cd5ff...2ca222f5f2
Created
18th Dec 2025 10:02:10 AM (UTC)
Updated
24th Dec 2025 05:31:30 AM (UTC)
Loading...