Website: http://www.softwareverify.com

About:

Software Verification Limited provides software tools to help your software developers create products in an efficient and timely manner. Software development has many phases, one of which is the process of testing and identifying errors in the software. Software Verification Limited provides tools to aid in this process.

Our aim is to provide software tools that utilise the same user interface and same command line interface for the same task, regardless of which computing language is used. This allows software developers using multiple languages to switch languages without also having to change the tools they use. Once you know one of our coverage tools you know how to use all the other language versions of our coverage tools. The data displays are the same, the user interactions are the same, the HTML, XML output formats are the same.

Now that software engineers often write in compiled languages such C++, C# and Java and also with scripted languages such as Python and Ruby on the web server and JavaScript on the web client the ability to move seamlessly between tools, all from the same vendor increases productivity. Compare this to working with a raft of incompatible tools and ports from multiple vendors and you can see the advantage of our approach.

Software Verification Ltd is based in the Isle of Ely, 15 miles north of Cambridge, United Kingdom.

Software Tool For .NET Developer

The software tools we provide for .Net (C#, VB.Net, Managed C++...) perform the following tasks:

• Memory leak detection and analysis.
• Code coverage.
• Performance profiling.

All .Net software tools work with .Net applications, .Net services, ASP.Net and WPF applications on all Windows operating systems from Windows 7 to Windows 2000.

The software tools work with 32 bit and 64 bit .Net applications and support all versions of the .Net Framework and all versions of the .Net Common Language Runtime.

None of these software tools require you to recompile or relink your software. For access to advanced additional features in some of the tools you may need to relink your software.

For more details on each software tool click the image or the description of the software tool in the list below.

	Code coverage for .Net applications, services and ASP.Net.
	Memory leak detection and analysis for .Net applications, services and ASP.Net.
	Performance profiling for .Net applications, services and ASP.Net.
	Suite containing .Net Coverage Validator, .Net Memory Validator and .Net Performance Validator.