VST-Floyd

swMATH28118MaRDI QIDQ39832FDOQ39832

Author name not available (Why is that?)

Described by source

• VST-Floyd: a separation logic tool to verify correctness of C programs

Cited In (4)

• Metamath Zero: designing a theorem prover prover
• Trace-Relating Compiler Correctness and Secure Compilation
• Title not available (Why is that?)
• Abstraction and subsumption in modular verification of C programs

This page was built for software: VST-Floyd