"There are two things I am sure of after all these years: there is a growing societal need for high assurance software, and market forces are never going to pro

"There are two things I am sure of after all these years: there is a growing societal need for high assurance software, and market forces are never going to provide it." - Earl Boebert