Verifying Smart Contracts with Cubicle - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2020

Verifying Smart Contracts with Cubicle

No 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⟩
13 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More