Concept detail
Velvet/Veil
0 tagged videos · 1 connection videos · degree 0
Publication timeline
- 2026-091 video
Source videos
Observed neighbors
imperative software verification
Extends kernel-based verification from pure mathematics into real imperative programs and engineering workflows
1 source videos
AI Can Write the Proof. Who Checks It? — Leonardo de MouraRelated tagged insights
No core insights are tagged with this concept.