here in Germany is a group which uses THP's for hardware verification.
I give you the address and phone number of one member of the group.
He will certainly give you more details names of other persons
working in that area.
Thomas Kropf
Institut fuer Rechnerentwurf
Po Box 6980
76128 KARLSRUHE, Germany
email: kropf@ira.uka.de
Phone: +49-721-6084220
best regards
Johann Schumann
------------------------------------------------------------
Johann M. Ph. Schumann
Intellektik - AI Research Group at the Chair of Computer Architecture
Institut fuer Informatik
Technische Universitaet Muenchen
Augustenstr. 46 RGB
80290 Muenchen, Germany
email: schumann@informatik.tu-muenchen.de
------------------------------------------------------------