Skip to main content

SMACK Software Verification Tool Chain

Department: Computer Science

Quarter:

Seminar Date: Sep 23, 2016

Speaker Name:
Zvonimir Rakamaric

Organization:
University of Utah

Start Time:

End Time:

Speaker Website:

Bio:
Zvonimir Rakamaric is an assistant professor in the School of Computing at the University of Utah. Prior to this, he was a postdoctoral fellow at Carnegie Mellon University in Silicon Valley, wh…

Photo Link:

Summary:
Tool prototyping is an essential step in developing novel software verification algorithms and techniques. However, implementing a verifier prototype that can handle real-world programs is a huge end…

Notes:

Host:

Host Notes:

Alt Text:

Slides:

Video:


Skip to content