It would be useful to compare Imiron with existing formal methods tools so developers can quickly see where it fits.