-
HYBRID
- Referenced in 19 articles
[sw00421]
- Hybrid: a package for higher-order syntax in...
-
ILTP
- Referenced in 29 articles
[sw00437]
- The Intuitionistic Logic Theorem Proving (ILTP) library provides...
-
Isabelle
- Referenced in 719 articles
[sw00454]
- Isabelle is a generic proof assistant. It allows...
-
Ott
- Referenced in 32 articles
[sw00663]
- Semantic definitions of full-scale programming languages are...
-
SETHEO
- Referenced in 122 articles
[sw00707]
- SETHEO: A high-performance theorem prover. The paper...
-
QEPCAD
- Referenced in 285 articles
[sw00752]
- QEPCAD B: A program for computing with semi...
-
ML
- Referenced in 524 articles
[sw01218]
- ML (’Meta Language’) is a general-purpose functional...
-
EnKF
- Referenced in 441 articles
[sw02066]
- EnKF-The Ensemble Kalman Filter The EnKF is...
-
CASL
- Referenced in 174 articles
[sw02235]
- The specification language developed by CoFI is called...
-
OTTER
- Referenced in 320 articles
[sw02904]
- Our current automated deduction system Otter is designed...
-
VAMPIRE
- Referenced in 264 articles
[sw02918]
- Vampire 8.0, [RV02,Vor05] is an automatic theorem...
-
SQEMA
- Referenced in 40 articles
[sw03056]
- Algorithmic correspondence and completeness in modal logic. IV...
-
PVS
- Referenced in 634 articles
[sw03484]
- PVS is a verification system: that is, a...
-
Haskell
- Referenced in 885 articles
[sw03521]
- Haskell is a standardized, general-purpose purely functional...
-
SPASS
- Referenced in 185 articles
[sw04108]
- SPASS is an automated theorem prover for first...
-
PHAVer
- Referenced in 118 articles
[sw04123]
- In 1995, HyTech broke new ground as a...
-
HyTech
- Referenced in 333 articles
[sw04125]
- HyTech is an automatic tool for the analysis...
-
TPTP
- Referenced in 401 articles
[sw04143]
- The TPTP (Thousands of Problems for Theorem Provers...
-
Darwin
- Referenced in 26 articles
[sw04175]
- Darwin is an automated theorem prover for first...
