
csp2B
 Referenced in 21 articles
[sw07703]
 machinereadable B specifications, which means that they may be animated and appropriate proof obligations...

Jakarta
 Referenced in 18 articles
[sw01269]
 frontend 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 longrun more readable, maintainable and reusable. This seems ... facilitate this kind of proof development by a number of “codegenerating”, “codebrowsing ... 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 widevariety of machines of differing wordsizes ... 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...

GCLCprover
 Referenced in 19 articles
[sw06215]
 GCLCprover, an automatic theorem prover (ATP) ...

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 OnLine Encyclopedia of Integer Sequence. The...

DISCOVERER
 Referenced in 58 articles
[sw07719]
 DISCOVERER: a tool for solving semialgebraic 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 highlevel, 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...