5 ms·
Unlikely... these bugs are all logic bugs. They won't be mitigated by using formal methods, because most of these bugs adhere to pre-defined specs. The problem
by twox2 5y ago
Unlikely... these bugs are all logic bugs. They won't be mitigated by using formal methods, because most of these bugs adhere to pre-defined specs. The problem with browses is that these specs are often in conflict with each other for new and/or obscure features.
- wyager 5y agoLogic bugs are the primary category of bugs targeted by heavyweight formal methods. Most JS features don't even have a formal spec which is part of the problem.