ConSpec
From MaRDI portal
Software:14555
No author found.
Related Items (4)
Provably correct runtime monitoring ⋮ Matching in security-by-contract for mobile code ⋮ Runtime Verification Based on Register Automata ⋮ Gate automata-driven run-time enforcement
This page was built for software: ConSpec
