Guess What I'm Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems (English)
- New search for: Fränzle, Martin
- New search for: Kröger, Paul
- New search for: Fränzle, Martin
- New search for: Kröger, Paul
In:
Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles
; 255-272
;
2020
-
ISBN:
- Conference paper / Print
-
Title:Guess What I'm Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems
-
Contributors:Fränzle, Martin ( author ) / Kröger, Paul ( author )
-
Conference:ISoLA ; 9. ; 2020 ; Online
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Reliable Smart ContractsPace, Gordon J. / Sanchez, César / Schneider, Gerardo et al. | 2020
- 9
-
Functional Verification of Smart Contracts via Strong Data IntegrityAhrendt, Wolfgang / Bubel, Richard et al. | 2020
- 25
-
Bitcoin Covenants UnchainedBartoletti, Massimo / Lande, Stefano / Zunino, Roberto et al. | 2020
- 43
-
Specifying Framing Conditions for Smart ContractsBeckert, Bernhard / Schiffl, Jonas et al. | 2020
- 60
-
Making Tezos Smart Contracts More Reliable with CoqBernardo, Bruno / Cauderlier, Raphaél / Claret, Guillaume / Jakobsson, Arvid / Pesin, Basile / Tesson, Julien et al. | 2020
- 73
-
UTxO- vs Account-Based Smart Contract Blockchain Programming ParadigmsBrünjes, Lars / Gabbay, Murdoch J. et al. | 2020
- 89
-
Native Custom Tokens in the Extended UTXO ModelChakravarty, Manuel M. T. / Chapman, James / MacKenzie, Kenneth / Melkonian, Orestis / Müller, Jann / Jones, Michael Peyton / Vinogradova, Polina / Wadler, Philip et al. | 2020
- 112
-
UTXOma: UTXO with Multi-asset Support.Chakravarty, Manuel M. T. / Chapman, James / MacKenzie, Kenneth / Melkonian, Orestis / Müller, Jann / Jones, Michael Peyton / Vinogradova, Polina / Wadler, Philip / Zahnentferner, Joachim et al. | 2020
- 131
-
Towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine LevelEllul, Joshua et al. | 2020
- 146
-
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in JuvixGoes, Christopher et al. | 2020
- 161
-
Efficient Static Analysis of Marlowe ContractsSeijas, Pablo Lamela / Smith, David / Thompson, Simon et al. | 2020
- 178
-
Accurate Smart Contract Verification Through Direct Modelling Alt, Patrick Eugster,Marescotti, Matteo / Otoni, Rodrigo / Alt, Leonardo / Eugster, Patrick / Hyvárinen, Antti E. J. / Sharygina, Natasha et al. | 2020
- 195
-
Smart Derivatives: On-Chain Forwards for Digital AssetsRius, Alfonso D. D. M. / Gashier, Eamonn et al. | 2020
- 212
-
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Spund Sttic Analysis of Ethereum Smart ContractsSchneidewind, Clara / Scherer, Markus / Maffei, Matteo et al. | 2020
- 235
-
Automated Verification of Embedded Control Software: Track IntroductionGurov, Dilian / Herber, Paula / Schaefer, Ina et al. | 2020
- 240
-
A Model-Based Approach to the Design, Verification and Deployment of Railway Inerlocking SystemAmendola, Arturo / Becchi, Anna / Cavada, Roberto / Cimatti, Alessandro / Griggio, Alberto / Scaglione, Giuseppe / Susi, Angelo / Tacchella, Alberto / Tessi, Matteo et al. | 2020
- 255
-
Guess What I'm Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent SystemsFränzle, Martin / Kröger, Paul et al. | 2020
- 273
-
On the Industrial Application of Critical Software Verification with VerCorsHuisman, Marieke / Monti, Raul E. et al. | 2020
- 293
-
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees Extended AbstractHungar, Hardi et al. | 2020
- 307
-
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in SimulinkLiebrenz, Timm / Herber, Paula / Glesner, Sabine et al. | 2020
- 326
-
Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment ModelingMeywerk, Tim / Walter, Marcel / Herdt, Vladimir / Kleinekathofer, Jan / Große, Daniel / Drechsler, Rolf et al. | 2020
- 348
-
Formally Proving Compositionality in Industrial Systems with Informal SpecificationsNyberg, Mattias / Westman, Jonas / Gurov, Dilian et al. | 2020
- 366
-
Specification, Synthesis and Validation of Strategies for Collaborative Embedded SystemsSchlingloff, Bernd-Holger et al. | 2020
- 389
-
Formal Methods for Distributed Computing in Future Railway SystemsFantechi, Alessandro / Gnesi, Stefania / Haxthausen, Anne E. et al. | 2020
- 393
-
Ensuring Safety with System Level Formal ModellingLecomte, Thierry / Comptier, Mathieu / Molinero, Julien / Sabatier, Denis et al. | 2020
- 404
-
A Modular Design Framework to Assess Intelligent TrainsCollart-Dutilleul, Simon / Bon, Philippe et al. | 2020
- 415
-
Formal Modelling and Verification of a Distributed Railway Interlocking System Using UPPAALLaursen, Per Lange / Trinh, Van Anh Thi / Haxthausen, Anne E. et al. | 2020
- 434
-
New Distribution Paradigms for Railway InterlockingPeleska, Jan et al. | 2020
- 449
-
Model Checking a Distributed Interlocking System Using k-induction with RT-TesterGeisler, Signe / Haxthausen, Anne E. et al. | 2020
- 467
-
Designing a Demonstrator of Formal Methods for Railways Infrastructure ManagersBasile, Davide / Beek, Maurice H. ter / Fantechi, Alessandro / Ferrari, Alessio / Gnesi, Stefania / Masullo, Laura / Mazzanti, Franco / Piattino, Andrea / Trentini, Daniele et al. | 2020