Ferramentas de Prova e Empresas

Links:
The HOL Theorem Prover
PVS
Isabelle
Jape
ACL2
Alfie Proof Editor
Proof General
The Logic Daemon (Proof Checker)
The Boyer-Moore Theorem Prover (NQTHM)
Prover Technology
Galois Connections


Voltar
Dezembro/2002