[ecoop-info] Call for Participation: Bounded Model-Checking and Satisfiability-Checking Tutorial at FM2009

Announcements of FME events events at fmeurope.org
Thu Oct 8 11:17:05 CEST 2009

[Apologies if you receive multiple copies of this CFP]


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

November 2nd,
Eindhoven, the Netherlands

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
events at fmeurope.org

More information about the ecoop-info mailing list