Relative timing based verification of concurrent systems 

Peña Basurto, Marco A. (Marco Antonio) (Date of defense: 2003-04-29)

La tesi presenta una nova teoria i una metodologia per a la verificació formal de propietats de seguretat en sistemes temporitzats. El correcte funcionament d'aquests sistemes no només depèn d'un conjunt de propietats ...