The success of model checking is based on its ability to uncover errors in designs of software and protocols.
Árangur líkanaprófana liggur í hæfni þeirra til að sýna fram á villur í hönnun hugbúnaðar og samskiptastaðla.