[PRECC]Learning Formal Methods (from Fang Lei)

[Peter T. Breuer]

"A month of sundays ago FANG LEI wrote:"
> managed to get the Z programs to run.
> Learning of Formal methods and Z specifications really
> takes much of time. During learning, I came across
> terms like ¡°Generalised Substitution Calculus¡± &

I imagine that's either a bit of the lambda calculus,
or some paper that s0omeone rote, sometime.

> ¡°Proof (Manual, Automatic, Interactive)¡±, but there

Proof is hat youget in maths. Machine proofs have been
done for some time. Look up theorem provers and model
checkers.

> are very limited resources related to these topics on
> the Internet, but I want to learn them in more detail.
> Could you please recommend some good websites.Pardon
> me, if this is not very related to ¡°PRECCX¡±. Thanks
> for your help.

I'm afraid I really don't know of any! I'd just go out and
buy a random book on the topic! Doesn't the Z website give
book references?

Peter