Blog

This blog is where we help you improve your software, teach you how to use our tools to solve problems, software tool use cases, and improvements to our software tools.

Communication
June 5, 2014
Avatar for Stephen Kellett
Stephen Kellett

Download problems, an apology

The last two software releases have not been as smooth as usual. To put it mildly there have been problems. I’d like to apologise for […]

Announcements Development
May 25, 2014
Avatar for Stephen Kellett
Stephen Kellett

An End to Unwanted UAC prompts

We have just updated all of our software tools so that they no longer require administrator privileges to run. No more unwanted User Account Control […]

General news
February 12, 2014
Avatar for Stephen Kellett
Stephen Kellett

Efficient ways of working – Floating Licences

Floating licences allow you to install and use the same licence on multiple machines when you have a number of users all using the software […]

General news
February 12, 2014
Avatar for Stephen Kellett
Stephen Kellett

Why software maintenance is a great insurance

Protecting yourself against the unexpected has received a mixed press of late. Nobody likes to feel they are paying over the odds for something that […]

Communication
January 16, 2014
Avatar for Stephen Kellett
Stephen Kellett

When things go wrong

Sometimes you do things with the best of intentions and it all goes wrong. This week has been like that. Preamble It all started out […]

Avatar for Stephen Kellett
Stephen Kellett

64 bit C++ software tool Beta Tests are complete.

We recently closed the beta tests for the 64 bit versions of C++ Coverage Validator, C++ Memory Validator, C++ Performance Validator and C++ Thread Validator. […]

General news
December 12, 2013
Avatar for Stephen Kellett
Stephen Kellett

New news blog

Hi, Historically we haven’t been too great at communicating news about Software Verification to you all. Proof of the pudding is that the previous news […]

conference
December 11, 2013
Avatar for Stephen Kellett
Stephen Kellett

The Curve. A talk by Nicholas Lovell at the Business Leaders Network

On 22nd November Nicholas Lovell gave a talk at the Business Leaders Network meeting held at the premises of Taylor Wessing, London. The talk was […]

Development Porting to Win64
December 5, 2013
Avatar for Stephen Kellett
Stephen Kellett

64 bit tools leaving beta this month

For those of you keeping a keen eye on the version numbers of the various C++ 64 bit betas we have will have noticed that […]

Development
June 26, 2013
Avatar for Stephen Kellett
Stephen Kellett

Why symbols don’t load – the DbgHelp search path

The problem One of the problems with using DbgHelp.dll to read the symbols for your Visual Studio application is that sometimes your symbols do not […]

Fully functional, free for 30 days