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

[Shu Yan Chan]

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.

Yours,
Shu Yan