Hn discuss| model checking slidesfmv.jku.at1 point·Jasitis··0 commentsposting here for application oriented discussionOpen articleSaveView on HN