Abstract is missing.
- Reliable Smart ContractsGordon J. Pace, César Sánchez, Gerardo Schneider. 3-8 [doi]
- Functional Verification of Smart Contracts via Strong Data IntegrityWolfgang Ahrendt, Richard Bubel. 9-24 [doi]
- Bitcoin Covenants UnchainedMassimo Bartoletti, Stefano Lande, Roberto Zunino. 25-42 [doi]
- Specifying Framing Conditions for Smart ContractsBernhard Beckert, Jonas Schiffl. 43-59 [doi]
- Making Tezos Smart Contracts More Reliable with CoqBruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson. 60-72 [doi]
- UTxO- vs Account-Based Smart Contract Blockchain Programming ParadigmsLars Brünjes, Murdoch James Gabbay. 73-88 [doi]
- Native Custom Tokens in the Extended UTXO ModelManuel M. T. Chakravarty, James Chapman 0001, Kenneth Mackenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler. 89-111 [doi]
- sf ma: UTXO with Multi-asset SupportManuel M. T. Chakravarty, James Chapman 0001, Kenneth Mackenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner. 112-130 [doi]
- Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine LevelJoshua Ellul. 131-145 [doi]
- Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in JuvixChristopher Goes. 146-160 [doi]
- Efficient Static Analysis of Marlowe ContractsPablo Lamela Seijas, David Smith, Simon J. Thompson. 161-177 [doi]
- Accurate Smart Contract Verification Through Direct ModellingMatteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina. 178-194 [doi]
- Smart Derivatives: On-Chain Forwards for Digital AssetsAlfonso D. D. M. Rius, Eamonn Gashier. 195-211 [doi]
- The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart ContractsClara Schneidewind, Markus Scherer, Matteo Maffei. 212-231 [doi]
- Automated Verification of Embedded Control Software - Track IntroductionDilian Gurov, Paula Herber, Ina Schaefer. 235-239 [doi]
- A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking SystemArturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi. 240-254 [doi]
- Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent SystemsMartin Fränzle, Paul Kröger. 255-272 [doi]
- On the Industrial Application of Critical Software Verification with VerCorsMarieke Huisman, Raúl E. Monti. 273-292 [doi]
- A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended AbstractHardi Hungar. 293-306 [doi]
- Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in SimulinkTimm Liebrenz, Paula Herber, Sabine Glesner. 307-325 [doi]
- Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment ModelingTim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler. 326-347 [doi]
- Formally Proving Compositionality in Industrial Systems with Informal SpecificationsMattias Nyberg, Jonas Westman, Dilian Gurov. 348-365 [doi]
- Specification, Synthesis and Validation of Strategies for Collaborative Embedded SystemsBernd-Holger Schlingloff. 366-385 [doi]
- Formal Methods for Distributed Computing in Future Railway SystemsAlessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen. 389-392 [doi]
- Ensuring Safety with System Level Formal ModellingThierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier. 393-403 [doi]
- A Modular Design Framework to Assess Intelligent TrainsSimon Collart Dutilleul, Philippe Bon. 404-414 [doi]
- Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAALPer Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen. 415-433 [doi]
- New Distribution Paradigms for Railway InterlockingJan Peleska 0001. 434-448 [doi]
- Model Checking a Distributed Interlocking System Using k-induction with RT-TesterSigne Geisler, Anne E. Haxthausen. 449-466 [doi]
- Designing a Demonstrator of Formal Methods for Railways Infrastructure ManagersDavide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari 0001, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini. 467-485 [doi]