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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

John on "The Software Model Checker BLAST"

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

nonstandard room: SS03 Building Bridges in Medical Science Conference Statistical Laboratory, University of Cambridge

Other talks

Title to be confirmed Group Presentation 3 Wolfson Tool Factory Tea and Coffee Break Reversals of the Geodynamo War and geos: the environmental legacies of militarism
 

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