title

High Assurance (for Security or Safety) and Free-Libre / Open Source Software (FLOSS)... with Lots on Formal Methods / Software Verification

Content-Type

text/html; charset=utf-8

viewport

width=device-width, initial-scale=1.0

description

A discussion on the relationship of free-libre / open source software (FLOSS) and high assurance

keywords

high assurance, high confidence, high integrity, security, software security, software assurance, safety, software safety, formal verification, verification, safety critical, open source software, open source, free software, FLOSS, FOSS, formal methods, formal method, formal verification, Ada, ACL2, PVS, HOL, proof, theorem provers, risk, risks, David, Wheeler, David A. Wheeler, David Wheeler, Otter, Prover9, Mace, Spin, SMV, PVS, SPARK, Ada, GNAT, theorem prover, model checker, verified software

stylesheet

paper.css