Wikipedia:Articles for deletion/Coconut (project) (2nd nomination)
WP:MILL|Yet another EU research project.  There's an http://aksw.org/SoerenAuer/HowToDescribeResearchProjectsOnWikipedia offsite canvassing project dedicated to creating articles for these without regard to whether they are actual encyclopedia subjects or not.  The |uncommunicative jargon and |wild optimism about what they |hope to achieve is also typical of the too-familiar genre: ''...aims at defining a framework for the integration of formal verification and system design. Embedded systems, possibly with mixed continuous/discrete domain, are a special focus of the project. Tools for formal verification, correct-by-construction synthesis, mapping between hybrid and discrete domains, and property analysis will be researched, developed or improved, and integrated into a design flow.''  If you can explain in real English what this project is about, based on that extremely abstract and baffling description, you win a gold star.  I'm not even sure from that text whether |computers are involved.  I suspect so, though
— User:Ihcoyc, 15:56, 9 August 2011 (UTC)
Stance: delete
Cited policy: WP:NONSENSE||WP:SPAM||WP:CRYSTALBALL||WP:B2B (Wikipedia:Patent nonsense)