3 ms·DFAs are used on all kind of things, including on protocol design and implementation.by dependenttypes 6y agoDFAs are used on all kind of things, including on protocol design and implementation.