• Chalice

  • Referenced in 7 articles [sw07704]
  • grained locking via specifications that track fractional permissions for memory locations. The research project also...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 73 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • ACSL

  • Referenced in 50 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • Genocop

  • Referenced in 1099 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • LINGO

  • Referenced in 319 articles [sw04942]
  • LINGO is a comprehensive tool designed to make...
  • Rodin

  • Referenced in 86 articles [sw07083]
  • The Rodin Platform is an Eclipse-based IDE...
  • ProB

  • Referenced in 67 articles [sw07084]
  • ProB: an automated analysis toolset for the B...
  • VCC

  • Referenced in 71 articles [sw07220]
  • VCC is a mechanical verifier for concurrent C...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • The VeriFast program verifier. This note describes a...
  • Boogie

  • Referenced in 120 articles [sw07714]
  • Boogie: An Intermediate Verification Language. Boogie is an...
  • Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • TLRW

  • Referenced in 5 articles [sw37682]
  • TLRW: return of the read-write lock. TL2...