6 ms·Verifying and testing timeliness constraints of Haskell programs3 points by cosmic_quanta 10mo ago