|
Title:
|
Verificació de sistemes concurrents basada en Constraint-Programming
|
|
Author:
|
Royuela Alcazar, Josep Maria
|
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Carmona Vargas, Josep |
|
Abstract:
|
L'objectiu d'aquest projecte és la verificació de propietats temporals LTL en sistemes concurrents modelats amb xarxes de Petri mitjançant constraint programming. |
|
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Programació
-Computer software -- Verification
-Sistemes concurrents
-Xarxes de Petri
-Programari -- Verificació |
|
Rights:
|
|
|
Document type:
|
Bachelor Thesis |
|
Published by:
|
Universitat Politècnica de Catalunya
|
|
Share:
|
|
