Hello World, I'm Georges from Valenciennes/North/France I'm searching papers/bibliographical references/books related to different formal specification methods. Here are the names I know (today) - VDM - Z and the related B Tools - RAISE - MALPASS - PLUSS Please add another names if you want (with a little description) What your opinion about these method? What is you favourite? Why? Are you concern by academic/industrial researchs? Thanks for any help...