Laura Bozzelli

Explorando el papel de las hiperpropiedades en la verificación de sistemas de software complejos.

Este artículo examina la relación entre las lógicas de tiempo ramificado y la teoría de autómatas.