Vutbrmsr

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

ABOUT Vutbrmsr

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