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)