default search action
ISoLA 2020: Rhodes, Greece
- Tiziana Margaria, Bernhard Steffen:
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. Lecture Notes in Computer Science 12478, Springer 2020, ISBN 978-3-030-61466-9
Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions
- Gordon J. Pace, César Sánchez, Gerardo Schneider:
Reliable Smart Contracts. 3-8 - Wolfgang Ahrendt, Richard Bubel:
Functional Verification of Smart Contracts via Strong Data Integrity. 9-24 - Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Bitcoin Covenants Unchained. 25-42 - Bernhard Beckert, Jonas Schiffl:
Specifying Framing Conditions for Smart Contracts. 43-59 - Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson:
Making Tezos Smart Contracts More Reliable with Coq. 60-72 - Lars Brünjes, Murdoch James Gabbay:
UTxO- vs Account-Based Smart Contract Blockchain Programming Paradigms. 73-88 - Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler:
Native Custom Tokens in the Extended UTXO Model. 89-111 - Manuel M. T. Chakravarty, James Chapman, Kenneth MacKenzie, Orestis Melkonian, Jann Müller, Michael Peyton Jones, Polina Vinogradova, Philip Wadler, Joachim Zahnentferner:
UTXOsf ma: UTXO with Multi-asset Support. 112-130 - Joshua Ellul:
Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level. 131-145 - Christopher Goes:
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix. 146-160 - Pablo Lamela Seijas, David Smith, Simon J. Thompson:
Efficient Static Analysis of Marlowe Contracts. 161-177 - Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina:
Accurate Smart Contract Verification Through Direct Modelling. 178-194 - Alfonso D. D. M. Rius, Eamonn Gashier:
Smart Derivatives: On-Chain Forwards for Digital Assets. 195-211 - Clara Schneidewind, Markus Scherer, Matteo Maffei:
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts. 212-231
Automated Verification of Embedded Control Software
- Dilian Gurov, Paula Herber, Ina Schaefer:
Automated Verification of Embedded Control Software - Track Introduction. 235-239 - Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi:
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. 240-254 - Martin Fränzle, Paul Kröger:
Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. 255-272 - Marieke Huisman, Raúl E. Monti:
On the Industrial Application of Critical Software Verification with VerCors. 273-292 - Hardi Hungar:
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. 293-306 - Timm Liebrenz, Paula Herber, Sabine Glesner:
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. 307-325 - Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, Daniel Große, Rolf Drechsler:
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling. 326-347 - Mattias Nyberg, Jonas Westman, Dilian Gurov:
Formally Proving Compositionality in Industrial Systems with Informal Specifications. 348-365 - Bernd-Holger Schlingloff:
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems. 366-385
Formal methods for DIStributed COmputing in future RAILway systems
- Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Computing in Future Railway Systems. 389-392 - Thierry Lecomte, Mathieu Comptier, Julien Molinero Perez, Denis Sabatier:
Ensuring Safety with System Level Formal Modelling. 393-403 - Simon Collart Dutilleul, Philippe Bon:
A Modular Design Framework to Assess Intelligent Trains. 404-414 - Per Lange Laursen, Van Anh Thi Trinh, Anne E. Haxthausen:
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAAL. 415-433 - Jan Peleska:
New Distribution Paradigms for Railway Interlocking. 434-448 - Signe Geisler, Anne E. Haxthausen:
Model Checking a Distributed Interlocking System Using k-induction with RT-Tester. 449-466 - Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. 467-485
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.