Subject: Accellera FV February 7-th Meeting -- Access Information
From: Harry Foster (foster@rsn.hp.com)
Date: Tue Jan 30 2001 - 09:32:12 PST
Hello,
Here is the access information for our next meeting:
Date of Meeting: FEB 7, 2001
Time of Meeting: 9:00 AM (PST Pacific Time)
Meeting ID: 9999
Meeting Name: Accellera FV
Meeting Telephone Number: 404-774-4118
Meeting Agenda:
(1) Member Status
(2) Ed Clarke's update on his effort to collect
properties that engineers might like to
express in a property.
(3) Overview of various model checking
models of computations:
(a) Carl on Kripke Structures
(b) Yaron (and Matthew) on edge-labeled
transition systems.
(4) Figure out how to apply these concepts
to our property specification language
requirements
(5) Decide what the focus of our next meeting
will be.
NOTE: I promised to send out by 26 Jan our 2001 year
goals. However, due to workload pressures I'm behind
schedule. I will make a cut at this and mail them out
by the end of this week.
Also, concerning references on computational models--
the treatment on this subject in Ed's book is one of the
most comprehensive that I've found (at a good price)--and no
I don't get a kickback for saying that. ;-) See:
http://mitpress.mit.edu/book-home.tcl?isbn=0262032708Other
Other members of the group might offer additional
reference suggestions, or they might have their own
books that they could recommend...
Don't forget to send Ed a useful list of properties!!!
Best regards,
-Harry
This archive was generated by hypermail 2b28 : Tue Jan 30 2001 - 09:36:31 PST