David Déharbe – web pages
introduction
publications
dblp
google scholar
microsoft academic
software
services
teaching
2014-2-dim0012
third-party resources
must read
san francisco declaration on research assessment
Contact
email
david(a)dimap.ufrn.br
david.deharbe(a)pq.cnpq.br
phone
+55 84 3215 3814 ext 224
mail
UFRN/CCET/DIMAp
Campus Universitário
Lagoa Nova
Natal, RN 59078-970
BRAZIL
software
veriT
: an open, flexible and efficient SMT-solver (under active development).
haRVey
: a cocktail of theories. A SMT (Satisfiability Modulo Theories) prover (2002-2006).
CV
: a BDD-based model checker for verifying CTL properties with fairness constraints on VHDL designs (1995-1997).