LXer: High Assurance and FLOSS
 

Published at LXer:

A new paper discusses the relationship between high assurance software (for security or safety) and free-libre / open source software (FLOSS). High assurance software must NEVER fail. Many tools for developing high assurance software are FLOSS, it turns out...

Read More...