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.
Lawrence Miles on Troubleshooting old Century… Lucas Trombeta on Troubleshooting old Century… davidcrocker on Building a large delta 3D… knabo on Building a large delta 3D… davidcrocker on Upgraded arms for the large de…