To All, I was wondering if anyone was interested in helping me to develop a c to Promela translator and maybe even a promela to c reverse translator ??? Promela is the scripting language utilized within the spin model checker !! This can be utilized to determine if a program has been verified !!! David Blubaugh