Accurate Theorem Proving for Program Verification

Antzeko izenburuak

• Cogent: Accurate theorem proving for program verification
  nork: Cook, B, et al.
  Argitaratua: (2005)
• Verification of Boolean Programs with Unbounded Thread Creation
  nork: Cook, B, et al.
  Argitaratua: (2007)
• Verification of Boolean programs with unbounded thread creation.
  nork: Cook, B, et al.
  Argitaratua: (2007)
• ProoFVer: Natural Logic Theorem Proving for Fact Verification
  nork: Amrith Krishna, et al.
  Argitaratua: (2022-01-01)
• Formal Verification of SystemC by Automatic Hardware/Software Partitioning
  nork: Kroening, D, et al.
  Argitaratua: (2005)