4 ms·Hn discuss| model checking slides1 points by Jasitis 15y agoposting here for application oriented discussion