Results 1 to 20 of 20
Sort by:

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