Creating and sharing knowledge for telecommunications

Project: Elven - Expressive Logics for VErifying the Net

Acronym: Elven
Main Objective: The goal of the project is to verify web processing systens through the use of an intermediate language sufficiently expressive to uniformly encompass the semantics of most (if not all) of the key aspects of such components.
Reference: 04/SAICT/2015
Funding: EU/H2020
Start Date: 01-07-2016
End Date: 30-06-2019
Team: Ana Gualdina Almeida Matos, Mário Florido, Vítor Santos Costa, Pedro Vasconcelos, Sabine Babette Broda, Jorge Coelho, Inês de Castro Dutra, Ricardo Jorge Gomes Lopes da Rocha, Cláudio Oliveira Amaral, António Beça Gonçalves Porto, Jan Gunnar Cederquist
Groups: Security and Quantum Information - Lx
Partners: INESC TEC - Instituto de Enegnharia e de Sistemas de Computadores, Tecnologia e Ciência, Universidade do Porto
Local Coordinator: Ana Gualdina Almeida Matos
Associated Publications