Talk:Coccinella (software)

This article is a (started as a) translation from the german wikipedia article.

Sorry Bots and Guys, you've been to fast ;) I should have placed a message 'Translation underway' with pasting the german text. Please feel free to improve the article as necessary. I'm not a native writer in english. Thanks! --Itu (talk) 08:46, 10 September 2011 (UTC)

this free software seems stopped development, however it has interesting features to highlight in this article
I browsed the links in this article to discover that this program was formally developed. The developers page has some properties of protocols expressed algebraically and proofs for those properties. That is great because algorithms are mathematical proofs and the authors seem to work that program very well.

I don't know the languages they used to see in what extent they followed the formal statements in the actual development.

Because this program is free software there is no problem to take parts of the code as an example of the use of formal methods in the development of free software.

This article is far to be promotional, but is incomplete.

Any volunteer out there to take the challenge? — Preceding unsigned comment added by 2806:106E:B:6DAA:21CD:CEA5:1433:EC66 (talk) 09:31, 20 November 2021 (UTC)