| Making Tezos Smart Contracts More Reliable with Coq
|
2020 |
Bernardo, Bruno |
| Automated Verification of Embedded Control Software: Track Introduction
|
2020 |
Gurov, Dilian |
| A Model-Based Approach to the Design, Verification and Deployment of Railway Inerlocking System
|
2020 |
Amendola, Arturo |
| Formally Proving Compositionality in Industrial Systems with Informal Specifications
|
2020 |
Nyberg, Mattias |
| New Distribution Paradigms for Railway Interlocking
|
2020 |
Peleska, Jan |
| Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
|
2020 |
Basile, Davide |
| UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms
|
2020 |
Brünjes, Lars |
| Native Custom Tokens in the Extended UTXO Model
|
2020 |
Chakravarty, Manuel M. T. |
| Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level
|
2020 |
Ellul, Joshua |
| Accurate Smart Contract Verification Through Direct Modelling Alt, Patrick Eugster
|
2020 |
Marescotti, Matteo |
| Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink
|
2020 |
Liebrenz, Timm |
| Ensuring Safety with System Level Formal Modelling
|
2020 |
Lecomte, Thierry |
| Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL
|
2020 |
Laursen, Per Lange |
| Functional Verification of Smart Contracts via Strong Data Integrity
|
2020 |
Ahrendt, Wolfgang |
| Bitcoin Covenants Unchained
|
2020 |
Bartoletti, Massimo |
| Specifying Framing Conditions for Smart Contracts
|
2020 |
Beckert, Bernhard |
| Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix
|
2020 |
Goes, Christopher |
| UTXOma: UTXO with Multi-asset Support.
|
2020 |
Chakravarty, Manuel M. T. |
| Smart Derivatives: On-Chain Forwards for Digital Assets
|
2020 |
Rius, Alfonso D. D. M. |
| Guess What I'm Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems
|
2020 |
Fränzle, Martin |
Tag hinzufügen