Cleanroom – High-quality software through semi-formal specs and verification | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Cleanroom – High-quality software through semi-formal specs and verification (nmt.edu)
		8 points by nickpsecurity on Oct 19, 2016 \| hide \| past \| favorite \| 1 comment

ceterum_censeo on Oct 19, 2016 [–]

Would anyone who has experience using Cleanroom and PSP be willing to opine on the merits of both? I'm interested in lightweight but rigorous processes for improving software quality on regulated products, and both Cleanroom and PSP are on the radar.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact