Detail

Publication date: 1 de June, 2021

Specification and Verification of Complex, Stateful, Distributed Systems

A research collaboration between DI FCT UNL and the Carnegie Mellon Department of Computer Science on software foundations, focused on the verification of complex stateful distributed systems.
The main goal is the development and implementation of a hybrid logical framework and its application to spatial logics and reasoning about general distributed systems (e.g., network and distributed algorithms, workflow and business processes, service oriented systems) .

The project is supported by the ICTI in the context
of the CMU-Portugal partnership (collaboration between
the groups of Frank Pfenning at CMU and of Luis Caires at UNL).
A research collaboration between DI FCT UNL and the Carnegie Mellon Department of Computer Science on software foundations, focused on the verification of complex stateful distributed systems.
The main goal is the development and implementation of a hybrid logical framework and its application to spatial logics and reasoning about general distributed systems (e.g., network and distributed algorithms, workflow and business processes, service oriented systems) .

The project is supported by the ICTI in the context
of the CMU-Portugal partnership (collaboration between
the groups of Frank Pfenning at CMU and of Luis Caires at UNL).

Team

Luis Caires, Nuno Preguiça, Carla Ferreira,

Sname MOBILOG
State Concluded
Startdate 01/01/2008
Enddate 31/12/2008