Formally Verified Chess Endgames

On May 10 Joe Hurd gave a guest lecture at Portland State University, as part of Bart Massey's Computer Science course on Combinatorial Games. The topic of the guest lecture was "Formally Verified Endgame Tables", and Joe showed how Formal Methods can be used to prove that endgame tables used by computer chess programs are correct with respect to the laws of chess. The slides of the guest lecture are available for download.

Comments

[Bart Massey]

Huge thanks to Joe for his most excellent talk. The students really enjoyed it. Glad to see it up here.

[Factory Automation System]

Great work! This is very useful concept for students. They can learn something new from this concept. I like this concept.

[Wendy Eley]

The slides are just amazing! They are truly relevant to my study at this moment so they helped me to write my essay for my class!

[Buy Valium Online]

The idea behind this article is excellent, and for me the first item ("Create your own damn content!") is the real gem here: most of the people spend their entire lives only consuming what is created by others, and creating nothing themselves--or never sharing what they create, which is better than not creating at all, though not the best they could do.

[buy phentermine online]

wow!..amazing.. I’ve no words to describe it

[buy adderall online]

Nice to share my love is wonderful to tell you that a healthy green gives you the best Organic vitamins, herbal remedies and organic supplements. They use all natural ingredients to create organic products.

[buy percocet online]

Really i appreciate the effort you made to share the knowledge.The topic here i found was really effective to the topic which i was researching for a long time

[Buy Medicine]

Our highly trained Pharmacists are focused on first class service in US No need to get screwed up we are here to help you <

[buy vicodin online]

Wonderful post. I am searching awesome news and idea. What I have found from your site, it is actually highly content. You have spent long time for this post. It's a very useful and interesting site. Thanks!

[buy hydrocodone online]

Hello, an amazing article dude. Thanks But Were issues in your rss . Dont know why Unable to subscribe to it. Could there be others having similar RSS trouble? Anybody nobody can assist please reply. Thnx!