Tesi etd-11152022-120740 |
Link copiato negli appunti
Tipo di tesi
Tesi di laurea magistrale
Autore
PULIERI, PASQUALE
URN
etd-11152022-120740
Titolo
Enhancing predictor analysis for reaction systems.
Dipartimento
INFORMATICA
Corso di studi
INFORMATICA
Relatori
relatore Prof.ssa Gori, Roberta
relatore Prof. Bruni, Roberto
controrelatore Prof. Milazzo, Paolo
relatore Prof. Bruni, Roberto
controrelatore Prof. Milazzo, Paolo
Parole chiave
- abstract
- abstract interpretation
- natural computing
- Over approximation
- predictor
- reaction systems
Data inizio appello
02/12/2022
Consultabilità
Tesi non consultabile
Riassunto
This thesis focuses on the formalization and analysis of an efficient method to over-approximate a predictor for reaction systems. Alongside this, we have the construction of the MuMa Predictor, a tool that allows the dynamic behaviour of reaction systems to be investigated using this method.
File
| Nome file | Dimensione |
|---|---|
Tesi non consultabile. |
|