TRAP: trace runtime analysis of properties - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Frontiers of Computer Science Year : 2020

TRAP: trace runtime analysis of properties

Domains

Embedded Systems
Fichier principal
Vignette du fichier
fcs-17217.pdf (5.79 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Frédéric Mallet  : Connect in order to contact the contributor

https://inria.hal.science/hal-02402957

Submitted on : Wednesday, January 8, 2020-8:46:10 AM

Last modification on : Monday, February 26, 2024-11:22:07 AM

Long-term archiving on: Thursday, April 9, 2020-1:38:18 PM

Download

Dates and versions

hal-02402957 , version 1 (08-01-2020)

Identifiers

Cite

Daian Yue, Vania Joloboff, Frédéric Mallet. TRAP: trace runtime analysis of properties. Frontiers of Computer Science, 2020, 14 (3), pp.1-15. ⟨10.1007/s11704-018-7217-7⟩. ⟨hal-02402957⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA I3S CENTRALESUPELEC INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-COTEDAZUR UNIV-RENNES UR1-MATH-NUM
144 View
224 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More