The foundation believes that free software---that is, software that can be freely studied, copied, modified, reused, redistributed and shared by its users---is the only ethically satisfactory form of software development, as free and open scientific research is the only ethically satisfactory context for the conduct of mathematics, physics, or biology.
Quotes about reused (2 Quotes)
Engineers now have the ability to formally specify properties of their hardware design model using an industry standard, and then verify these properties in dynamic verification (that is, simulation) or static verification (that is, formal verification), ... Prior to IEEE 1850, there were multiple proprietary ways of specifying properties and assertions, but not a standard. This meant that the same specification could not be used across multiple tools. With a new standard, a single form of specification can be reused across multiple processes.