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
