ELVeN - Expressive Logics for VErifying the Net

Project Duration: 
07/2016 - 06/2019
Project Code: 
POCI-01-0145-FEDER-016844 (PTDC/EEI-CTP/3506/2014)
Funding: 
184,300€ (65,537€ for CRACS)
Funding Entity: 
FCT
PI
CRACS Member: 
Vítor Santos Costa
Research team
from CRACS: 
Ricardo Rocha