Login
From:
The Brown PLT Blog
(Uncensored)
subscribe
User Studies of Principled Model Finder Output
http://blog.brownplt.org/2017/07/01/fmtools-usability.html
links
backlinks
For decades, formal-methods tools have largely been evaluated on their
Roast topics
Find topics
Find it!
