[CST-2] Spec & Ver I (Style of proof)

[M.Y.W.Y. Becker]

--On 04 June 2001 20:13 +0100 Shu Yan Chan <syc22@cam.ac.uk> wrote:

> Hi, I was just doing my last minute revision and suddenly started to panic
> about which style( or rather, technique) of proof to use in the exam.
> When the examiner asked us to proof something, is it ok to use either VC
> or doing it using the H-Logic inference rules, etc?  Or is there any
> catch phase that one should watch out for?
> I have not done enough execrise to comment on it, but has people generally
> found using VC better or worse than using the infreence rules?
> Thanks.

VCs are better in general. You can also jump over trivial steps if you can. 
Under no circumstances try to draw the entire proof tree, and don't use the 
original (non-derived) FH-rules!

Mo