Earlier quoted context omitted.
So you have any links? I’m very curious, and a quick search did not turn up anything.
Clark Barrett's group at Stanford (previously NYU) is a leader here.
Thank you!
Why Don't People Use Formal Methods?
231–232 of 232 posts
Re: Why Don't People Use Formal Methods?
#232Earlier quoted context omitted.
> That behavior won't change from week-to-week Maybe "shouldn't" is a better world that "won't". It is sadly common for a sudden whim to cause a new feature to thread a change all the way from the GUI down to the database representation, with plumbing at multiple stages in the middle.
I think the use of formal methods on these key features would allow you to argue that they should not be changed. Giving more weight to resisting key feature change during initial development, as well as when the project matures and develops a user base, will help a lot with stabilization. That means less technical debt and fewer random breaking changes that tend to occur with Agile and other dynamic development prac…
Yep. Or at least it would be a useful social experiment.
What is socially expedient depends on what is technically easy in the short run. One benefit bondage & discipline coding tools is to encode long term strategies into short-term constraints.