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 share my experiences in mending things, or getting things mended, and for anything else that doesn’t fit on my verification blog. With luck the content will help others solve similar problems and avoid unnecessary expense.
davidcrocker on What you probably didn’t… Mikey on What you probably didn’t… BeosDoc on Improvements to the Hemera… davidcrocker on Improvements to the Hemera… BeosDoc on Improvements to the Hemera…