I want some one good at formal specification. I need some help in one of the assignments of the course. I will share the complete details in private message. Its not much of work for a professional. I don't need answers from internet as I have explored many. I want some thing innovative and good.
Domain knowledge of Z language is must. More details in PMB.