Automatic generation of polynomial invarianst for systema verification

Tesis doctoral de Enric Rodríguez Carbonell

 

Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema verification«

  • Título de la tesis:  Automatic generation of polynomial invarianst for systema verification
  • Autor:  Enric Rodríguez Carbonell
  • Universidad:  Politécnica de catalunya
  • Fecha de lectura de la tesis:  08/06/2006

 

Dirección y tribunal

  • Director de la tesis
    • Robert Lukas Mario Nieuwenhuis
  • Tribunal
    • Presidente del tribunal: jordi Cortadella fortuny
    • patrick Cousot (vocal)
    • zohar Manna (vocal)
    • Manuel Hermenegildo salinas (vocal)

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Scroll al inicio