Verifying Smart Contracts with Cubicle - Archive ouverte HAL Access content directly
Book Sections Year : 2020

Verifying Smart Contracts with Cubicle

(1) , (1) , (1)
1
Not file

Dates and versions

hal-03476695 , version 1 (13-12-2021)

Identifiers

Cite

Sylvain Conchon, Alexandrina Korneva, Fatiha Zaïdi. Verifying Smart Contracts with Cubicle. Formal Methods. FM 2019 International Workshops, 12232, Springer International Publishing, pp.312-324, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-54994-7_23⟩. ⟨hal-03476695⟩
12 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More