Ticket #21865 (closed: invalid)
about VDM proof obligation
|Reported by:||xieguo||Owned by:|
I am a beginner in VDM (VDM++), and I am very interesting in discharging VDM Proof Obligations.
Now it seems that the proof obligation could be discharged automatically using HOL.
How can I achieve this?
Thank you very much for your answer!