VST-Floyd

MaRDI QIDQ39832swMATHFDO

Official website https://rd.springer.com/article/10.1007%2Fs10817-018-9457-5

Described by source

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

Cited in

(16)

• Abstraction and subsumption in modular verification of C programs
• Toolchain
• Metamath Zero: designing a theorem prover prover
• TweetNaCl
• ModuRes
• Vellvm
• libclang
• AUTO2
• CSimpl
• Charge!
• Bedrock
• Knuth Morris Pratt
• IEEE_Floating_Point
• Auto2_Imperative_HOL
• Trace-relating compiler correctness and secure compilation
• scientific article; zbMATH DE number 7649971 (Why is no real title available?)

This page was built for software: VST-Floyd