# Architecture principles whose scope is critical system

> 1 record

This index as JSON: https://banes-lab.com/json/api/facets/architecture/scope/critical-system

## Entries

- [Formal Verification](https://banes-lab.com/records/architecture/formal-verification.md): The activity of proving, against a formal specification, that an algorithm or protocol keeps its invariants for every input.