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)

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

This page was built for software: VST-Floyd