Category Archives: Uncategorized

I’ve just switched mobile phones from an iPhone 3G to a Motorola Defy. Of course, I wanted to move my contacts and future calendar entries. Apple doesn’t provide any sort of general export facility for iPhone data, so this required … Continue reading →

Hi, I’m David Crocker, and I run a software consultancy and tools company specialising in critical software. If you’re interested in that topic, visit my work-related blog on formal verification of C/C++ software.  I’m creating this additional blog primarily to … Continue reading →