Verification
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Verification category
|
|
1 | 40 | January 2, 2019 |
|
Compiling seL4 with CompCert
|
|
6 | 102 | February 28, 2020 |
|
How do you keep from introducing tautologies into the specification?
|
|
2 | 59 | February 28, 2020 |
|
Can the seL4 proofs handle recursive functions?
|
|
2 | 62 | June 14, 2019 |
|
Which code is verified?
|
|
4 | 90 | April 15, 2019 |