ADVENT: Architecture-Driven Verification ADVENT
of Systems Software




Partners


IMDEA         KULEUVEN

 

MPI-SWS           TAU