Anybody knows Cocotec / FDR?

Cocotec seems to be an approach to formally verifiable software.
The website doesn’t say much:

It seems to be backed by a program prover called FDR: Introduction — FDR 4.2.7 documentation
Maybe @ratiud?

Thanks a lot for any hints.

I do not know anything about FDR … for the verification of C/C++ code I used CBMC also from Univ. Oxford and DiffBlue (a startup -

Thanks for the swift reply (-:

Hi Niko,

I know a bit about Cocotec Platform and I have seen some impressive demo’s.
If there’s something I can help you with, please let me know.

Best regards,
Niels Brouwers.