Pages that link to "Item:Q1663238"
From MaRDI portal
The following pages link to VST-Floyd: a separation logic tool to verify correctness of C programs (Q1663238):
Displaying 6 items.
- VST-Floyd (Q39832) (← links)
- Abstraction and subsumption in modular verification of C programs (Q2147702) (← links)
- Trace-Relating Compiler Correctness and Secure Compilation (Q5041085) (← links)
- (Q5875431) (← links)
- A solver for arrays with concatenation (Q6156632) (← links)
- Efficient extensional binary tries (Q6156636) (← links)
