University of Cambridge > Talks.cam > Program verification reading group. > Calysto: Scalable and Precise Extended Static Checking

Calysto: Scalable and Precise Extended Static Checking

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Mike Dodds.

I’ll talk about “Calysto: Scalable and Precise Extended Static Checking”: http://www.domagoj-babic.com/index.php/Pubs/ICSE08

The paper itself is rather general, so I will probably draw some details from the PhD thesis: http://www.domagoj-babic.com/index.php/Pubs/PHD08

This talk is part of the Program verification reading group. series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity