Automating Theorem Proving with SMT

DOI10.1007/978-3-642-39634-2_2zbMath1317.68217OpenAlexW2288352MaRDI QIDQ5327333

K. Rustan M. Leino

Publication date: 7 August 2013

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39634-2_2

Mathematics Subject Classification ID

Related Items (2)

Friends with Benefits ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions

Uses Software

• Coq
• Dafny
• Isabelle/HOL
• Isabelle/Isar
• PVS
• Why3
• Frama-C
• cvc3
• z3
• SIMPLIFY
• HOL Light
• Twelf
• Sledgehammer
• VCC
• VeriFast
• OpenSMT
• Agda

This page was built for publication: Automating Theorem Proving with SMT