Published March 8, 2026
| Version v1
Preprint
Open
Galois Towers for Layered Runtime Verification
Authors/Creators
Description
We formalize layered runtime monitors as Galois towers and prove that bounded liveness reduces to safety on finite lattices.
Files
galois-tower.pdf
Files
(231.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e8d0147b9481318663d083c7c896c09d
|
231.5 kB | Preview Download |