Discussion on Lazy Abstraction next Tuesday

From: Rupak Majumdar (rupak@EECS.Berkeley.EDU)
Date: 09/22/01

Next message: Westley Weimer: "[OSQ] Reading for Lazy Abstraction Talk"
Previous message: George Necula: "RE: Open Source Lunch for 9/18"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

From: Rupak Majumdar <rupak@EECS.Berkeley.EDU>
Message-Id: <200109230335.UAA27682@ic.EECS.Berkeley.EDU>
Subject: Discussion on Lazy Abstraction next Tuesday
Date: Sat, 22 Sep 2001 20:35:59 -0700 (PDT)

Hi all,

As a background to Ranjit's discussion on the baffling open problems
in software verification it might be helpful to read our draft on
Lazy abstraction in http://www.eecs.berkeley.edu/~rupak/Papers/lazy_abstraction.ps.
You can also look at the SLAM papers/talks available from
http://research.microsoft.com/slam.

You can also look at the presentation available from
http://www.cs.berkeley.edu/~weimer/osq/nsf01.html.

Rupak

Next message: Westley Weimer: "[OSQ] Reading for Lazy Abstraction Talk"
Previous message: George Necula: "RE: Open Source Lunch for 9/18"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : 11/04/02 PST