formal verification

[amirt]

Hi all,

don't know if it's the right place but anyway...

I'm looking for a good formal verifation tool.
We develop in C++/ winAPI enviromnent. (not MFC)
If anyone could reccomend me about good tool it would be great help.

10x a lot

[NoHero]

What do you want to verificate? Which type of application are you looking for?

[amirt]

We have a software proggrammed in C++.
We don't use today any verification tool.
I'de like to find out what are the options we can use to approve in long run the sw's quality.
I know it's very common to use verification tools but don't know exactly what are the options.

10x again

[NoHero]

We have a software proggrammed in C++.
We don't use today any verification tool.
I'de like to find out what are the options we can use to approve in long run the sw's quality.
I know it's very common to use verification tools but don't know exactly what are the options.

10x again

Why don't you let users test your software? User can give you feedback, what a software cannot. This would be much more reliable in my eyes.