VST-Floyd

swMATH28118MaRDI QIDQ39832FDOQ39832

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Toolchain
• ModuRes
• TweetNaCl
• Vellvm
• libclang
• AUTO2
• Charge!
• CSimpl
• Bedrock
• Knuth Morris Pratt
• Auto2_Imperative_HOL
• IEEE_Floating_Point
• Trace-relating compiler correctness and secure compilation
• Abstraction and subsumption in modular verification of C programs

This page was built for software: VST-Floyd