Anybody knows Cocotec / FDR?

Language Workbenches
1

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

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.

2

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 - https://www.diffblue.com/)

3

Thanks for the swift reply (-:

4

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.