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 : Wednesday, January 22, 2020 - 1:28:19 AM

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

61

Files downloads

116