| 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 |
| 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 |
| Reliable Smart Contracts
|
2020 |
Pace, Gordon J. |
Tag hinzufügen