• csp2B

  • Referenced in 21 articles [sw07703]
  • machine-readable B specifications, which means that they may be animated and appropriate proof obligations...
  • Jakarta

  • Referenced in 18 articles [sw01269]
  • front-end for producing highly readable executable specifications; the JaKarTa Transformation Kit (JTK), a program ... compiler that translates JSL specifications into proof assistants; the JaKarTa Automation Kit (JAK), a toolset ... support reasoning about executable specifications within proof assistants. Goal of the work is to derive ... from the specification of the JavaCard Virtual Machine. The tool takes the JavaCard Virtual Machine...
  • MizarMode

  • Referenced in 18 articles [sw01973]
  • proof code” in the long-run more readable, maintainable and reusable. This seems ... facilitate this kind of proof development by a number of “code-generating”, “code-browsing ... proof skeletons, semantic browsing of the articles and abstracts, structured viewing, proof advice using trained ... machine learning tools like the Mizar Proof Advisor, deductive tools like MoMM, etc. We give...
  • SPARKSkein

  • Referenced in 1 article [sw06871]
  • implementation is readable, completely portable to a wide-variety of machines of differing word-sizes ... that it is subject to a proof of type safety. This proof also identified...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

  • Referenced in 274 articles [sw01225]
  • Programming Perl. Perl is a language for easily...
  • Isar

  • Referenced in 145 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • GeoProof

  • Referenced in 17 articles [sw05737]
  • This program is an interactive geometry software with...
  • JBool

  • Referenced in 123 articles [sw06185]
  • This software promotes some general and useful tools...
  • GeoThms

  • Referenced in 25 articles [sw06216]
  • GeoThms -- a web system for Euclidean constructive geometry...
  • CeTA

  • Referenced in 47 articles [sw06584]
  • Certification of termination proofs using CeTA. There are...
  • OEIS

  • Referenced in 4285 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • DISCOVERER

  • Referenced in 58 articles [sw07719]
  • DISCOVERER: a tool for solving semi-algebraic systems...
  • GEX

  • Referenced in 35 articles [sw09961]
  • Geometry Expert (GEX) is a software for dynamic...
  • JGEX

  • Referenced in 16 articles [sw13613]
  • An introduction to Java geometry expert. This paper...
  • Python

  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...
  • HOARD ATINF

  • Referenced in 2 articles [sw28890]
  • Emphasizing human techniques in automated geometry theorem proving...
  • Zsyntax

  • Referenced in 3 articles [sw30123]
  • Zsyntax: A Formal Language for Molecular Biology with...