University of Cambridge > Talks.cam > Program verification reading group. > John on "The Software Model Checker BLAST"

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

John on "The Software Model Checker BLAST"

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

If you have a question about this talk, please contact Matthew Parkinson.

The first paper will be presented by John Wickerson on BLAST .

Paper: http://www.cs.sfu.ca/~dbeyer/Publications/2007-STTT.The_Software_Model_Checker_BLAST.pdf

The paper is a journal article, so rather long. It would suffice therefore to read only sections 1 and 2; the other sections cover two case studies that John’s talk won’t cover.

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.

Other lists

Scott Lectures All CMS events SciBar

Other talks

Disease Migration Bioinformatics Intelligence and the frontal lobes CANCELLED: Alex Goodall: The US Marine Empire in the Caribbean and Central America, c.1870-1920 Sir Richard Stone Annual Lecture: The Emergence of Weak, Despotic and Inclusive States Retinal mechanisms of non-image-forming vision The role of myosin VI in connexin 43 gap junction accretion Protein Folding, Evolution and Interactions Symposium Existence of Lefschetz fibrations on Stein/Weinstein domains 'Cambridge University, Past and Present' Challenges to monetary policy in a global context
 

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