Effective deductive verification of safety of distributed protocols in unbounded systems

Speaker:
Mooly Sagiv - COLLOQUIUM LECTURE
Date:
Tuesday, 20.6.2017, 14:30
Place:
Room 337 Taub Bld.
Affiliation:
Tel-Aviv University, School of Computer Science
Host:
Yuval Filmus

T B A

Back to the index of events