firmware: experiment with formal verification #37

New Issue

Open

opened 2026-10-26 04:53:53 +00:00 by onur-ozkan · 0 comments

onur-ozkan commented 2026-10-26 04:53:53 +00:00

Owner

Copy link

Copy source

Evaluate which correctness/safety properties can be proven on compile time.

Evaluate which correctness/safety properties can be proven on compile time.

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

main

ground-suite-ai-slop-ref

No results found.

Labels

Clear labels

bug

Something isn't working

documentation

Improvements or additions to documentation

duplicate

This issue or pull request already exists

enhancement

New feature or request

good first issue

Good for newcomers

help wanted

Extra attention is needed

invalid

This doesn't seem right

question

Further information is requested

wontfix

This will not be worked on

No labels

Milestone

No items

No Milestone

Projects

Clear projects

No projects

Assignees

Clear assignees

onur-ozkan

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: public/kaptan#37