| 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 | |||||
|
||||||
| Team: | Ana Gualdina Almeida Matos, 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 |
This project falls under the following United Nations Strategic Development Goals (SDGs):
No publications associated with this project.