Provadores de Teoremas
De Wiki DAINF
(Diferença entre revisões)
(→Links) |
(→Lista não organizada) |
||
| (Uma edição intermediária de um usuário não apresentada) | |||
| Linha 1: | Linha 1: | ||
| + | == Lista não organizada == | ||
| + | |||
| + | * Verit. Site: http://www.verit-solver.org/ | ||
| + | |||
== Links == | == Links == | ||
[http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving] | [http://www.cs.miami.edu/~tptp/OverviewOfATP.html Geoff Sutcliffe's Overview of Automated Theorem Proving] | ||
[http://portal.acm.org/citation.cfm?id=645903.672930&coll=GUIDE&dl=GUIDE Effective Theorem Proving for Hardware Verification] | [http://portal.acm.org/citation.cfm?id=645903.672930&coll=GUIDE&dl=GUIDE Effective Theorem Proving for Hardware Verification] | ||
Edição atual tal como 18h21min de 6 de agosto de 2009
Lista não organizada
- Verit. Site: http://www.verit-solver.org/
