Accurate Theorem Proving for Program Verification

類似資料

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