Skip to Main content Skip to Navigation
Journal articles

Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019

Complete list of metadata

https://hal.sorbonne-universite.fr/hal-03251314
Contributor : Fabrice Kordon Connect in order to contact the contributor
Submitted on : Friday, June 11, 2021 - 9:35:04 AM
Last modification on : Tuesday, November 16, 2021 - 4:17:10 AM
Long-term archiving on: : Sunday, September 12, 2021 - 6:30:34 PM

File

sttt-mcc15-19.pdf
Files produced by the author(s)

Identifiers

Citation

Fabrice Kordon, Lom Messan Hillah, Francis Hulin-Hubard, Loïg Jezequel, Emmanuel Paviot-Adet. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2021, ⟨10.1007/s10009-021-00615-1⟩. ⟨hal-03251314⟩

Share

Metrics

Record views

79

Files downloads

123