Mostrar el registro completo del ítem
Comini, M.; Titolo, L.; Villanueva García, A. (2014). Abstract Diagnosis for tccp using a Linear Temporal Logic. Universitat Politècnica de València. http://hdl.handle.net/10251/35695
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/35695
Título: | Abstract Diagnosis for tccp using a Linear Temporal Logic | |
Autor: | Comini, Marco Titolo, Laura | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which rep- resents the behavior ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Editorial: |
|
|
Código del Proyecto: |
|
|
Tipo: |
|