Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles
1. Verfasser:	Basile, Davide (VerfasserIn)
Weitere Verfasser:	Beek, Maurice H. ter (VerfasserIn), Fantechi, Alessandro (VerfasserIn), Ferrari, Alessio (VerfasserIn), Gnesi, Stefania (VerfasserIn), Masullo, Laura (VerfasserIn), Mazzanti, Franco (VerfasserIn), Piattino, Andrea (VerfasserIn), Trentini, Daniele (VerfasserIn)
Pages:	3
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2020
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
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
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
Making Tezos Smart Contracts More Reliable with Coq	2020	Bernardo, Bruno

Alle Artikel auflisten