I think the best approach would be to try both and see what you thought. Given
your domain of interest, I don't think there's anything compelling to mean that
you should pick one over the other, so other factors can influence you. Things
like:
* does it run well on my computer?
* do I like the usual interaction model?
* do I like running through the "tutorial" examples for the system?
Michael
On 28/04/2012, at 0:21, Anggha Nugraha <[email protected]> wrote:
> Dear all,
>
> Firstly I'm Anggha and I'm graduate student in Faculty of Computer Science at
> Universitas Indonesia. Now I'm making graduate thesis with topic,
> "Verification of Matrices Multiplication Program using Hoare Logic."
> I plan to do manual proof using Hoare logic and furthermore also making their
> automation. For the automation, I plan to use HOL Theorem Prover or HOL Light
> but I'm a really newbie in this area. So, can you give me some suggestion
> what type of HOL I should use for my thesis? Why? I really need your help to
> decide.
>
> Thanks in advance everyone.
>
> --
> Best regards,
> Anggha Satya Nugraha
> Graduate Student in Faculty of Computer Science
> University of Indonesia (Universitas Indonesia)
> ------------------------------------------------------------------------------
> Live Security Virtual Conference
> Exclusive live event will cover all the ways today's security and
> threat landscape has changed and how IT managers can respond. Discussions
> will include endpoint security, mobile security and the latest in malware
> threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
> _______________________________________________
> hol-info mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/hol-info
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
