3 citations · 3 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.FL2023★ 3 cited
Safety and Liveness of Quantitative Properties and Automata
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi +1
Safety and liveness stand as fundamental concepts in formal languages, playing a key role in verification. The safety-liveness classification of boolean properties characterizes wh…
cs.LO2023
Quantitative Safety and Liveness
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterize…