Skip to Main content Skip to Navigation

Heuristics for Checking Liveness Properties with Partial Order Reductions

Document type :
Conference papers
Complete list of metadatas

https://hal.sorbonne-universite.fr/hal-01368309
Contributor : Administrateur Hal-Upmc <>
Submitted on : Monday, September 19, 2016 - 1:20:10 PM
Last modification on : Thursday, March 21, 2019 - 1:10:28 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

166