SMACK Software Verification Tool Chain
Department: Computer Science
Quarter:
Seminar Date: Sep 23, 2016
Speaker Name:
Zvonimir Rakamaric
Zvonimir Rakamaric
Organization:
University of Utah
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…
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…
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:
Video: