The result was Keep as withdrawn. — MaggotSyn 12:08, 2 July 2008 (UTC)[reply]
Project is not notable; searched for any mention on Google News, Scholar, and Books under the full name "Correct-by-Construction Workbench for Design and Verification of Embedded Systems" since "Coconut" would be impossible. Found nothing. If sourcing can be produced, I'll withdraw this nomination. Phlegm Rooster (talk) 10:34, 27 June 2008 (UTC)[reply]