From gross@fis.utoronto.ca Mon Jan 6 17:12:25 2003 Date: Fri, 15 Nov 2002 10:56:24 -0500 From: Daniel Gross To: czt-project@comlab.ox.ac.uk Cc: gross@fis.utoronto.ca Subject: CZT: tools to support proving with Z on Windows platform Hello, I am a phd student at UofT, and have stumbled over your this list. Perhaps i can ask the following: I'd like to annotate a program i am currently writing with Z and then verify whether the program i wrote actually yields the results i am aiming at (in terms of data structures manipulations), and where the program omits achieving required data manipulations. Do you perhaps know of (free) available (possibly interactive, and if possible working on a windows platform) tools that would help proving and stepping through the Z proofs. Perhaps as a side question is Z a good choice for checking how my program manipulates data structures or would other formal methods be more appropriate (VDM?, others?) appreciating your response Daniel ----------------------------------------------------------------------- This message is sent to the czt-project mailing list. To join, send an email to czt-project-request@comlab.ox.ac.uk containing the single line subscribe To unsubscribe, do the same, changing the message appropriately. To send a message to the list, write to czt-project@comlab.ox.ac.uk. The CZT home page is at: http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/ -----------------------------------------------------------------------