Using formal testing to build better AVR for .NET applications.