• Coq

• Referenced in 1784 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 58 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...

• Siege

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

• SCS

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

• DSDP5

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

• dReal

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

• 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...

• 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...

• FASTCLIME

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

• SWITCH

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

• FENSAP-ICE

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