• Coq

  • Referenced in 1526 articles [sw00161]
  • programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification...
  • KRAKATOA

  • Referenced in 83 articles [sw03159]
  • KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML. We describe the basic structure ... thus well suited for JAVACARD applets certification. It involves three distinct components: the WHY tool...
  • KEM-DEM

  • Referenced in 57 articles [sw03093]
  • along with secure signatures and ideal certification authority are sufficient to realize a universally composable...
  • CoLoR

  • Referenced in 36 articles [sw09806]
  • application to the automated verifications of termination certificates. Termination is an important property of programs ... application to the automated verification of termination certificates, as produced by termination tools...
  • JBoss

  • Referenced in 49 articles [sw21835]
  • market-leading reputation for certification and support, ensuring your administration and development needs...
  • CeTA

  • Referenced in 39 articles [sw06584]
  • Certification of termination proofs using CeTA. There are many automatic tools to prove termination...
  • Siege

  • Referenced in 37 articles [sw04437]
  • given, the system time is used. Certificates, etc., are appended to a file, ”siege.results...
  • DSDP5

  • Referenced in 26 articles [sw04411]
  • dual feasible solutions when they exist, certificates of infeasibility when solutions do not exist, initial...
  • dReal

  • Referenced in 23 articles [sw07157]
  • specified by the user. dReal also produces certificates of correctness for both $delta...
  • Zenon

  • Referenced in 19 articles [sw06753]
  • code for execution and Coq code for certification. Zenon can directly generate Coq proofs (proof...
  • Atelier B

  • Referenced in 16 articles [sw07086]
  • Siemens, and also for Common Criteria certification and the development of system models by ATMEL...
  • GATeL

  • Referenced in 15 articles [sw07255]
  • currently in use by the French Nuclear Certification Agency, and in avionics and automotive research...
  • Binder

  • Referenced in 14 articles [sw26750]
  • data structures,such as ACLs and X.509 certificates. In contrast, Binder is an openlogic-based...
  • SCS

  • Referenced in 12 articles [sw16632]
  • primal and dual solutions when available and certificates of infeasibility or unboundedness otherwise, it does...
  • SLAB

  • Referenced in 8 articles [sw09875]
  • simple ”yes” answer, but some independently checkable certificate of correctness. We present SLAB — the first ... either finds a counterexample or produces a certificate of system correctness in the form...
  • Synthia

  • Referenced in 7 articles [sw12933]
  • system is correct by providing a correctness certificate to the user. Such certificates are easy...
  • SWITCH

  • Referenced in 10 articles [sw02483]
  • subject domain investigation, analysis, design, implementation, debugging, certification, and documenting. The technology is based...
  • VSDP

  • Referenced in 10 articles [sw04003]
  • enclosures of ε-optimal solutions, and verified certificates of infeasibility. All rounding errors...
  • GRAT

  • Referenced in 4 articles [sw21969]
  • GRAT tool chain -- efficient (UN)SAT certificate checking with formal correctness guarantees. We present ... efficient and formally verified SAT and UNSAT certificate checker. It utilizes a two phase approach ... highly optimized gratgen tool converts a DRAT certificate to a GRAT certificate, which is then ... even faster checking of a single certificate...
  • FASTCLIME

  • Referenced in 8 articles [sw10889]
  • path; (2) it provides an accurate dual certificate as stopping criterion; (3) it is completely...