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

[Sapna Jethwa]

>From personal experience I find that VCs are much easier to use,
although it is unclear in the questions what we should use - e.g. there
was one tripos question that asked you to define refinement laws, and
the second part of the question could have been proved using refinement
laws again,  but the model answer used VCs...

Sapna

Shu Yan Chan 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.
> 
> Yours,
> Shu Yan
> 
> _______________________________________________
> CST-2 mailing list
> CST-2@srcf.ucam.org
> http://www.srcf.ucam.org/mailman/listinfo/cst-2