ask@iesd.auc.dk (Arne Skou) (08/16/90)
C A L L F O R P A P E R S
WORKSHOP ON COMPUTER-AIDED VERIFICATION
Aalborg University, Denmark
JULY 1-4, 1991
This workshop is the third in a series dedicated to bringing together
researchers and practitioners interested in the development and use of
methods, tools and theories for automatic verification of finite state
systems. The goal of the workshop is to compare the various
verification methods for finite state systems, and tools supporting
them as assistants of the application designer. Emphasis will be not
only on new research results but also on the applications of existing
results to real verification problems. Special sessions for
demonstration of verification tools will be planned.
A balanced participation of researchers and practitioners is expected.
Papers are solicited on the following topics:
- Verification and validation tools for protocols and systems of
real time hardware
- Verification methods by theorem proving, model checking,
automata based methods
- Verification theories and their applicability
This list is not exhaustive, and papers in related areas that fit with
the intentions of the workshop will also be considered. An author may
submit a paper by mailing 4 copies of a preliminary version to any of
the steering committee members or the program chairman:
E.M. Clarke R.P Kurshan
Carnegie--Mellon Univ. AT&T Bell Laboratories
Comp.Sc. Dept. Room 2C-353
Pittsburgh, PA 15213 Murray Hill, NJ 07974
U.S.A. U.S.A.
K.G. Larsen (Prg.Chair) A. Pnueli
Aalborg University Weizmann Inst.
Dept. of Math. and Comp.Sc. Rehovot
Frederik Bajersvej 7 Israel
9220 Aalborg
Denmark
J. Sifakis
LGI--IMAG
BP 53X
38041 Grenoble cedex
France
The preliminary version is limited to a length of 12 double spaced
typed pages. It should provide sufficient detail so that the program
committee can assess the merits of the contribution. The deadline for
the submission of the preliminary version is February 1, 1991.
Authors will be notified of acceptance by March 15, 1991.
The final versions of accepted and invited papers will be published
after the workshop.