[abc] users!

---------- Forwarded message ----------
Date: Wed, 29 Sep 2004 17:09:28 -0400
From: Shriram Krishnamurthi <sk@cs.brown.edu>
To: Oege de Moor <Oege.de.Moor@comlab.ox.ac.uk>
Subject: abc

Dear Oege,

Thanks for writing me about abc. Your message was well-timed.

My student and I are in the process of building a model-checker for
real Java source programs. To this end we've been using the Bolor
toolkit by Matt Dwyer et al, on top of which we've built a CTL checker
and now a rudimentary aspect checker. We are, however, unhappy with
the quality of source support that we're getting from Bogor.

We are now investigating the use of abc as a pre-processing layer that
gives us the information we need to make the Bogor process more
smooth. Unfortunately we're in the middle of the school year now, so
progress has been slow. What we've seen so far has, however, been
promising. We may very well integrate abc as a pre-processor for our
checker. If we do proceed in that direction, we'll be sure to keep
you posted with more information.

Best,
Shriram
Received on Thu Sep 30 09:04:04 2004