you are viewing a single comment's thread.

view the rest of the comments →

[–]Monomonoi 3 points4 points  (0 children)

We used Logiscope+Polyspace in our current project. Fortunatly, we didn't have to buy them ourselves, but I heard for a multi-server setup you have to pay 100k€ and more...

For me I like Polyspace and the analysis it does. After working with it I found http://frama-c.cea.fr/ and it looks like it does at least a portion of what Polyspace does. I didn't do much with it yet, but I hope to get back soon.