Verification
Topic | Replies | Views | Activity | |
---|---|---|---|---|
About the Verification category
|
![]() |
0 | 76 | January 2, 2019 |
Multiple Domains Per Thread Proof Impact
|
![]() ![]() ![]() ![]() |
7 | 65 | February 26, 2021 |
X86-64 verification roadmap
|
![]() ![]() |
1 | 14 | February 23, 2021 |
How do you keep from introducing tautologies into the specification?
|
![]() ![]() ![]() |
8 | 147 | November 9, 2020 |
Compiling seL4 with CompCert
|
![]() ![]() ![]() ![]() ![]() |
5 | 181 | February 28, 2020 |
Can the seL4 proofs handle recursive functions?
|
![]() ![]() |
1 | 109 | June 14, 2019 |
Which code is verified?
|
![]() ![]() ![]() |
3 | 139 | April 15, 2019 |