From: sergio on
Hi guys,
I need your precious help regard to SMV (Symbolic Model Verifier).
I've to build a model for an airport baggage handling system (BHS). I
define model and workflow and now i've to check it with SMV. My
problem is how to use SMV module, process and states (init() and
next()) in order to make my model to work.
If someone can help me i can give or post everything needed (code and
detail). Just ask me :)

King regards
Sergio