Automatic generation of polynomial invarianst for systema verification

• Autores: Enric Rodríguez Carbonell
• Directores de la Tesis: Robert Nieuwenhuis (dir. tes.)
• Lectura: En la Universitat Politècnica de Catalunya (UPC) ( España ) en 2006
• Idioma: español
• Tribunal Calificador de la Tesis: Jordi Cortadella Fortuny (presid.) , Albert Rubio Gimeno (secret.) , Manuel de Hermenegildo Salinas (voc.) , Zohar Manna (voc.) , Patrick Cousot (voc.)
• Texto completo no disponible (Saber más ...)