Hi,
i m currently working on a project titled "VERIFICATION AND
VALIDATION of ALGORITHMS" where i m required to use model based
testing to be precise i have to use MODEL CHECKERS.now my problem is
that i have to represent algorithms in a form where i can give them
as input to the model checkers for validating.i have got stuck at
this point.i would be grateful if any of the members can come up with
a solution.

Waiting for a reply,
Sameer Joshi