Call for Participation: Bounded Model-Checking and

[Announcements of FME events]

[Apologies if you receive multiple copies of this CFP]

CALL FOR PARTICIPATION

+-----------------------------------------------------------------+
| FM2009 Tutorial: |
| Bounded Model-Checking and Satisfiability-Checking, |
| a Flexible Approach for System Modeling and Verification |
+-----------------------------------------------------------------+

November 2nd,
Eindhoven, the Netherlands
http://home.dei.polimi.it/pradella/tut.html
http://www.win.tue.nl/fm2009/

Abstract:
Bounded model-checking has reached levels of performance comparable
with other traditional model checking techniques, and it allows for a
remarkable degree of flexibility in describing the model, expressing
properties to be checked, and carrying out various forms of
verification. The tutorial aims at enabling researchers,
practitioners, and tool developers to exploit the approach in
developing reliable systems, to understand encoding techniques, and to
apply the method to notations of their choice.

Tutors: Angelo Morzenti, Matteo Pradella, and Matteo Rossi

Registration deadline: October 19th

_______________________________________________
events mailing list
eve...@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events