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.
Jeff on Time to rebuild my large … davidcrocker on Time to rebuild my large … Sorin on Time to rebuild my large … Warren on Troubleshooting old Century… davidcrocker on Time to rebuild my large …