Posts Tagged ‘Formal Verification’

Prover iLock

Tuesday, May 4th, 2010

Just received news that Canadian Pacific will standardize on Prover iLock for Interlocking System Design, Simulation and Formal Verification. Prover iLock is a product by Prover Technology, the company I co-founded many years ago.

Way to go guys!
/M

So what’s Formal Verification anyway?

Tuesday, April 6th, 2010

Added short page on Formal Verification.
/M

Why develop games?

Tuesday, April 6th, 2010

I’ve worked with business to business since I left university. Why do I now develop games? One reason is that I share the not very controversial opinion that playing games is a great way of learning.

For twenty odd years my company has been communicating benefits of Formal Verification. Let’s see if there are any lessons here, useful to the marketing of my game Chrome-8. The puzzle generator for Chrome-8 is a trivial application in comparison to the endlessly complex, real world applications of Formal Verification accomplishing great business (and society!) benefits. They both, however, share some of the basic techniques.

I’ll come back to this subject shortly.
/M