Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Lohse, Janine"'
Autor:
Lohse, Janine, Garg, Deepak
We present ExpIris, a separation logic framework for the (amortized) expected cost analysis of probabilistic programs. ExpIris is based on Iris, parametric in the language and the cost model, and supports both imperative and functional languages, con
Externí odkaz:
http://arxiv.org/abs/2406.00884
We develop model checking algorithms for Temporal Stream Logic (TSL) and Hyper Temporal Stream Logic (HyperTSL) modulo theories. TSL extends Linear Temporal Logic (LTL) with memory cells, functions and predicates, making it a convenient and expressiv
Externí odkaz:
http://arxiv.org/abs/2303.14796