Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
26
views
7
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,927
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
other
Author(s):
Lars Brünjes
,
Murdoch J. Gabbay
Publication date
(Online):
October 27 2020
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Smart Contracts Programming Languages
Most cited references
7
Record
: found
Abstract
: not found
Book Chapter
: not found
A Survey of Attacks on Ethereum Smart Contracts (SoK)
Nicola Atzei
,
Massimo Bartoletti
,
Tiziana Cimoli
(2017)
0
comments
Cited
128
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol
Aggelos Kiayias
,
Alexander Russell
,
Bernardo David
…
(2017)
0
comments
Cited
125
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
N.G de Bruijn
(1972)
0
comments
Cited
96
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2020
Publication date (Online):
October 27 2020
Pages
: 73-88
DOI:
10.1007/978-3-030-61467-6_6
SO-VID:
9b24d578-8b48-42c5-a0f9-9190c600b8c4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Reliable Smart Contracts
pp. 9
Functional Verification of Smart Contracts via Strong Data Integrity
pp. 25
Bitcoin Covenants Unchained
pp. 43
Specifying Framing Conditions for Smart Contracts
pp. 60
Making Tezos Smart Contracts More Reliable with Coq
pp. 73
UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
pp. 89
Native Custom Tokens in the Extended UTXO Model
pp. 112
UTXO\(_{\textsf {ma}}\): UTXO with Multi-asset Support
pp. 131
Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level
pp. 146
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix
pp. 161
Efficient Static Analysis of Marlowe Contracts
pp. 178
Accurate Smart Contract Verification Through Direct Modelling
pp. 195
Smart Derivatives: On-Chain Forwards for Digital Assets
pp. 212
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts
pp. 235
Automated Verification of Embedded Control Software
pp. 240
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System
pp. 255
Guess What I’m Doing!
pp. 273
On the Industrial Application of Critical Software Verification with VerCors
pp. 293
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees
pp. 307
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink
pp. 326
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
pp. 348
Formally Proving Compositionality in Industrial Systems with Informal Specifications
pp. 366
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems
pp. 389
Formal Methods for Distributed Computing in Future Railway Systems
pp. 393
Ensuring Safety with System Level Formal Modelling
pp. 404
A Modular Design Framework to Assess Intelligent Trains
pp. 415
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
pp. 434
New Distribution Paradigms for Railway Interlocking
pp. 449
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester
pp. 467
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
Similar content
1,927
Reducing Latency of DAG-based Consensus in the Asynchronous Setting via the UTXO Model
Authors:
Keyang Liu
,
Maxim Jourenko
,
Mario Larangeira
Multi-stage Contracts in the UTXO Model
Authors:
Alexander Chepurnoy
,
Amitabh Saxena
Effect of blockchain technology adoption on supply chain adaptability, agility, alignment and performance
Authors:
Ashutosh Sheel
,
Vishnu Sukumari Nath
See all similar
Cited by
2
Standardized Crypto-Loans on the Cardano Blockchain
Authors:
Dmytro Kondratiuk
,
Pablo Seijas
,
Alexander Nemish
…
Bitcoin Covenants Unchained
Authors:
Massimo Bartoletti
,
Stefano Lande
,
Roberto Zunino
See all cited by