Login / Signup

Formal Verification of an SSA-Based Middle-End for CompCert.

Gilles BartheDelphine DemangeDavid Pichardie
Published in: ACM Trans. Program. Lang. Syst. (2014)
Keyphrases
  • formal verification
  • model checking
  • model checker
  • bounded model checking
  • automated verification
  • symbolic model checking
  • coloured petri nets
  • knowledge base
  • website
  • open source
  • data preprocessing
  • program slicing