That's what I use it for. Maybe some other guys have developed different uses.
OnecncXP makes it so easy to crank out programs, that we really do need many types of verification tools to make sure that what we tell our machines to do, is what we intended to do