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.
International Standard ISO 26262-1:2018, International Organization for Standardization, Geneva, Switzerland (December 2018)
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.