'verifiable-c' Questions - SpiceQA

Questions Tags Users Badges

verifiable-c

3 Questions

Newest Active Unanswered Frequent

Unable to read from offset 0 of a pointer in VST

user_75894810

• asked Feb 23, 2021

1

0

65

verifiable-c c

VST type punning

user_65136490

• asked Jun 15, 2020

2

0

60

verifiable-c coq formal-verification c

VST built-in annotation support

user_65136490

• asked Jun 3, 2020

2

0

46

verifiable-c verification coq formal-verification c

1 (current)

Hot Questions