I sistemi biochimici sono un esempio notevole di sistema difficile da analizzare: recenti applicazioni a contesti di bioinformatica e sistemi software autoorganizzante rendono questo problema cruciale. Lo strumento PRISM è lo standard di fatto per l'analisi/simulazione/verifica di sistemi stocastici tempo-continui.
In questa tesi si deve analizzare in dettaglio la possibilità di applicare questo strumento ai sistemi biochimici, valutando la possibilità/necessità di adottare opportune tecniche di ottimizzazione, e considerando la letterature esistente sull'argomento.
