Skip to Main content Skip to Navigation
Journal articles

TRAP: trace runtime analysis of properties

Document type :
Journal articles
Complete list of metadatas

Cited literature [42 references]  Display  Hide  Download

https://hal.inria.fr/hal-02402957
Contributor : Frédéric Mallet <>
Submitted on : Wednesday, January 8, 2020 - 8:46:10 AM
Last modification on : Monday, October 12, 2020 - 10:30:41 AM
Long-term archiving on: : Thursday, April 9, 2020 - 1:38:18 PM

File

fcs-17217.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

155

Files downloads

394