Skip to content

Topic

Formal verification of cloud policy

Using SMT solvers and constraint encodings to decide questions about cloud configuration, such as whether a reachable state grants access that policy authors did not intend.

Current clusters