Developers of highly reliable systems are in a seeming Catch-22 between quality and speed. Traditional methods of developing critical applications rigorous testing, coding standards and peer reviews help assure quality at the expense of developer time.