I’m contributing to the following open source software tools.
- CSharp USB Human Interface (HID) Driver Library
This Library connects your Human Interface USB Device to your CSharp (or other Visual Studio) project or application. - DiPro – Directed Probabilistic Counterexample Generation Tool
DiPro is a tool for the computation of counterexamples for the stochastic model checkers PRISM and MRMC.
