4 ms·Verifpal Dramatically Speeds Up Formal Modeling for Pandemic-Tracing Protocol5 points by alokrai 7y ago