Heuristics for Checking Liveness Properties with Partial Order Reductions - Sorbonne Université
Communication Dans Un Congrès Année : 2016
Fichier non déposé

Dates et versions

hal-01368309 , version 1 (19-09-2016)

Identifiants

Citer

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⟩
138 Consultations
0 Téléchargements

Altmetric

Partager

More