3 ms·

Logic 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

by wyager 5y ago

Logic 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.