So this is it. The Goanna blog. The long awaited Goanna blog. So, what will it be like? It will probably be a place for our musing and thoughts on finding bugs. Like on how to build a tool that finds them automatically. But also about bugs that we found the traditional way, like a bug that we found in NuSMV last week, when it started to behave in unexpected way. I guess, behaving in unexpected ways is the essence of a bug. Anyway, we will probably cover more that just the art and joy of finding bugs, and also comment on the first steps Goanna will make once it is released in the wild. Looking forward to it.
Welcome to the Goanna blog.