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
Title: | Abstract Diagnosis for tccp using a Linear Temporal Logic | |
Author: | Comini, Marco Titolo, Laura | |
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
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 ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reserva de todos los derechos | |
Publisher: |
|
|
Project ID: |
|
|
Type: |
|