4 ms·

Nobody mentioned Agda. I had to use Alloy in the university and it was easy, but it doesn't cover all bases as the previous commenter said.