Swen Jacobs

Examinando cómo los autómatas de umbral mejoran la verificación de algoritmos distribuidos.

Una mirada a las redes temporales disyuntivas y sus métodos de verificación.

Una visión general de los sistemas parametrizados y sus desafíos de verificación.