logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-11152022-120740


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
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