MOPBox Demo Friday at RV

Eric | September 28, 2011

This Friday I will be demoing MOPBox, out new library for runtime verification at this year’s RV conference. We hope that some users will join our open-source project.