• Coq

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

  • Referenced in 86 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 59 articles [sw03093]
  • along with secure signatures and ideal certification authority are sufficient to realize a universally composable...
  • CoLoR

  • Referenced in 38 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 46 articles [sw06584]
  • Certification of termination proofs using CeTA. There are many automatic tools to prove termination...
  • SCS

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

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

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

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

  • Referenced in 22 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 16 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...
  • VSDP

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

  • Referenced in 12 articles [sw10889]
  • path; (2) it provides an accurate dual certificate as stopping criterion; (3) it is completely...
  • 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 8 articles [sw12933]
  • system is correct by providing a correctness certificate to the user. Such certificates are easy...
  • SWITCH

  • Referenced in 11 articles [sw02483]
  • subject domain investigation, analysis, design, implementation, debugging, certification, and documenting. The technology is based...
  • FENSAP-ICE

  • Referenced in 11 articles [sw20588]
  • design and aid-to-certification simulation software to provide enhanced aerodynamic and in-flight icing...