Developer of risk assessment software for Windows details its PHA-Pro and DDM-Hazop packages, and includes downloadable updates and demos.

Large Formal Methods resource comprising structured and well-annotated links. Includes notations, methods and tools.