Vutbrmsr

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

Vutbrmsr is a collection of .NET libraries providing basic framework for implementing tools for assisted and automated verification. This innitiative attempts to merge various successfull approaches within the .NET framework in order to provide possi

VERSION HISTORY

  • Version N/A posted on 2011-08-08
    Several fixes and updates
  • Version N/A posted on 2011-08-08

Program Details