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 Time to rebuild my large … R on Time to rebuild my large … davidcrocker on Time to rebuild my large … J on Time to rebuild my large … Silentflier on Troubleshooting old Century…