Skip to Main content Skip to Navigation
Conference papers

Heuristics for Checking Liveness Properties with Partial Order Reductions

Document type :
Conference papers
Complete list of metadata

https://hal.sorbonne-universite.fr/hal-01368309
Contributor : Administrateur Hal-Upmc <>
Submitted on : Monday, September 19, 2016 - 1:20:10 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Identifiers

Citation

Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault. Heuristics for Checking Liveness Properties with Partial Order Reductions. Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.340-356, ⟨10.1007/978-3-319-46520-3_22⟩. ⟨hal-01368309⟩

Share

Metrics

Record views

190