Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019 - Sorbonne Université
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2021

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

Domains

Software Engineering [cs.SE] Embedded Systems Formal Languages and Automata Theory [cs.FL]
Fichier principal
Vignette du fichier
sttt-mcc15-19.pdf (1.79 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Fabrice Kordon  : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-03251314

Submitted on : Friday, June 11, 2021-9:35:04 AM

Last modification on : Wednesday, October 30, 2024-1:33:49 PM

Long-term archiving on : Sunday, September 12, 2021-6:30:34 PM

Download

Dates and versions

hal-03251314 , version 1 (11-06-2021)

Identifiers

Cite

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, 2021, ⟨10.1007/s10009-021-00615-1⟩. ⟨hal-03251314⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS EC-NANTES UNAM LIP6 LS2N LS2N-STR SORBONNE-UNIVERSITE SU-SCIENCES UNIV-PARIS-LUMIERES UNIV-PARIS-NANTERRE NANTES-UNIVERSITE
181 View
207 Download

Altmetric

Share

More