| 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 |
| A Concept of Scenario Space Exploration with Criticality Coverage Guarantees Extended Abstract
|
2020 |
Hungar, Hardi |
| On the Industrial Application of Critical Software Verification with VerCors
|
2020 |
Huisman, Marieke |
| Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling
|
2020 |
Meywerk, Tim |
| Formal Methods for Distributed Computing in Future Railway Systems
|
2020 |
Fantechi, Alessandro |
| Model Checking a Distributed Interlocking System Using k-induction with RT-Tester
|
2020 |
Geisler, Signe |
| 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. |
Tag hinzufügen