PReach — model checking промышленного уровня для Erlang'а
05/08/2010 17:20
На техническом семинаре в Галуа John Erickson представил утилиту PReach, предназначенную для проверки моделей (model checking).
PReach — утилита с открытым исходным кодом. Она основана на Murphi, формальном верификаторе, используемом в Intel для поиска ошибок в собственных моделях.
PReach является альтернативной реализацией распределенного алгоритма проверок в Murphi.
- Подробнее о PReach и проверке моделей: http://blog.ezyang.com/2010/08/tour-of-preach-distributed-erlang/
- Видеопрезентация: http://vimeo.com/13865125
- Проект на BitBucket'е: http://bitbucket.org/jderick/preach