The Technion Computer Engineering Club - a weekly seminar discussing systems and theory of networking, distributed systems, storage, computer architectures, operating systems, compilers, etc.

Mailing list
Mailing list
Google calendar
Google calendar
iCal calendar
iCal calendar
RSS feed
RSS feed

25/01/2017 11:30Meyer 1061

 

Achieving Scalable Formal Verification through Generalization and Abstraction

Yakir Vizel

Princeton University