# The arch records whose scope is critical system

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

## Entries

- [Formal Verification](https://banes-lab.com/records/arch/formal-verification.md)