Talk:Coccinella (software)

Computing: Software / Free and open-source software

	This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles
???	This article has not yet received a rating on the project's importance scale.
	This article is supported by WikiProject Software.
	This article is supported by Free and open-source 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)[reply]

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)[reply]