Software Safety

A Methodology for Exposing Risk in Achieving Emergent System Properties

Determining whether systems achieve desired emergent properties, such as safety or reliability, requires an analysis of the system as a whole, often in later development stages …

lucas-layman