3 ms·Yes, DSLs or formal verification tools are a much better solution for many scenarios.by pjmlp 3mo agoYes, DSLs or formal verification tools are a much better solution for many scenarios.