Perfect imprecision is about improving your software via useful hints and tips and also via software tools.
Why “Perfect Imprecision”? In science the Heisenberg uncertainty principle states that you can know the position of something accurately, but not its speed, or vice-versa you can know the object’s speed precisely, but not its position. The act of measuring/monitoring the object adds uncertainty to some of what you are trying to measure.
The same is true of software tools and other techniques used to gather data on software being monitored. Most often the use of a tool will slow the software a little bit, or a lot, depending on what you are doing. Other times, the use of a tool (even if it is just the debugger) will make the bug go away. How annoying!
I hope you will find some of the articles we will write here in the coming months useful to you as you develop your software. If you have a topic you’d like us to attempt to shine some light on, please send me some email and I’ll what we can do.
stephen [at] softwareverify.com