Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)
Ryan G. Scott, Ivan Perez, Alwyn E. Goodloe +2
When runtime verification is used to monitor safety-critical systems, it is essential that monitoring code behaves correctly. The Copilot runtime verification framework pursues thi…
cs.PL2024
Crux, a Precise Verifier for Rust and Other Languages
Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins +6
We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get right: for example, cry…