SENTIL is presented as an efficient Rust-based runtime monitor for PrSTL that uses statistical model checking and related techniques to deliver probabilistic guarantees with claimed 10-1000x speedups over prior tools.
In: International Conference on Computer Aided Verification
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
SENTIL: A Runtime Verification Tool for Probabilistic Temporal Logic
SENTIL is presented as an efficient Rust-based runtime monitor for PrSTL that uses statistical model checking and related techniques to deliver probabilistic guarantees with claimed 10-1000x speedups over prior tools.