Premios HVC de verificación a la comunidad SMT (Satisfiability Modulo Theories)
Los premios HVC (Haifa Verification Conference) se conceden a los trabajos más prometedores en la campos de verificación y prueba de software y hardware. Este año los premios HVC 2010 le han sido otorgados a los promotores de la comunidad de satisfacibilidad módulo teorías (en inglés, Satisfiability Modulo Theories (SMT) personalisados en
- Clark Barrett (Universidad de New York),
- Leonardo De-Moura (Microsoft Research),
- Silvio Ranise (INRIA),
- Aaron Stump (Universidad de Iowa) y
- Cesare Tinelli (Universidad de Iowa).
Read More “Premios HVC de verificación a la comunidad SMT (Satisfiability Modulo Theories)”