Verification
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
About the Verification category
|
|
0 | 164 | January 2, 2019 |
|
Why does the refinement proof require that the internal states of processes be related to one another?
|
|
2 | 44 | March 7, 2022 |
|
Forward vs. Backward Simulation in the Refinement Proof
|
|
2 | 37 | March 7, 2022 |
|
State of tooling for formal verification
|
|
1 | 50 | February 21, 2022 |
|
L4v CRefine Failures Caused by Kernel Code Modifications
|
|
5 | 72 | January 30, 2022 |
|
AutoCorres and Memory Safety
|
|
3 | 98 | January 4, 2022 |
|
SiFive Board Model Changes
|
|
1 | 80 | September 26, 2021 |
|
Are you collaborating with RISC-V on the formal ISA spec?
|
|
2 | 161 | May 6, 2021 |
|
Multiple Domains Per Thread Proof Impact
|
|
7 | 271 | February 26, 2021 |
|
X86-64 verification roadmap
|
|
1 | 136 | February 23, 2021 |
|
How do you keep from introducing tautologies into the specification?
|
|
8 | 276 | November 9, 2020 |
|
Compiling seL4 with CompCert
|
|
5 | 448 | February 28, 2020 |
|
Can the seL4 proofs handle recursive functions?
|
|
1 | 231 | June 14, 2019 |
|
Which code is verified?
|
|
3 | 285 | April 15, 2019 |