Connecting Higher-Order Separation Logic to a First-Order Outside World (Q5041105)
From MaRDI portal
scientific article; zbMATH DE number 7600938
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connecting Higher-Order Separation Logic to a First-Order Outside World |
scientific article; zbMATH DE number 7600938 |
Statements
Connecting Higher-Order Separation Logic to a First-Order Outside World (English)
0 references
13 October 2022
0 references
formal verification
0 references
verifying communication
0 references
modular verification
0 references
interaction trees
0 references
VST
0 references
CertiKOS
0 references
