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

Verifying Smart Contracts with Cubicle

Domains

Computer Science [cs] Logic in Computer Science [cs.LO]

Sylvain Conchon  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03476695

Submitted on : Monday, December 13, 2021-10:19:33 AM

Last modification on : Friday, March 24, 2023-2:53:24 PM

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA ENS-CACHAN CENTRALESUPELEC UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
13 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More