CompCertS

swMATH22722MaRDI QIDQ34513FDOQ34513

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007%2F978-3-319-66107-0_6

Described by source

• CompCertS: a memory-aware verified C compiler using pointer as integer semantics

Cited In (7)

• \textsc{CompCertS}: a memory-aware verified C compiler using a pointer as integer semantics
• COMPCERTSFI
• CompCertTSO
• Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26--29, 2017. Proceedings
• ARMor
• Rocksalt
• Diablo

This page was built for software: CompCertS