Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030614669, 9783030614676

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Native Custom Tokens in the Extended UTXO Model

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_7 ◽

2020 ◽

pp. 89-111

Author(s):

Manuel M. T. Chakravarty ◽

James Chapman ◽

Kenneth MacKenzie ◽

Orestis Melkonian ◽

Jann Müller ◽

...

Keyword(s):

Custom Tokens

Download Full-text

Specifying Framing Conditions for Smart Contracts

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_4 ◽

2020 ◽

pp. 43-59

Author(s):

Bernhard Beckert ◽

Jonas Schiffl

Keyword(s):

Smart Contracts

Download Full-text

Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_23 ◽

2020 ◽

pp. 366-385

Author(s):

Bernd-Holger Schlingloff

Keyword(s):

Embedded Systems ◽

Specification Synthesis

Download Full-text

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_21 ◽

2020 ◽

pp. 326-347

Author(s):

Tim Meywerk ◽

Marcel Walter ◽

Vladimir Herdt ◽

Jan Kleinekathöfer ◽

Daniel Große ◽

...

Keyword(s):

Real World ◽

Safety Properties ◽

Environment Modeling

Download Full-text

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_30 ◽

2020 ◽

pp. 467-485

Author(s):

Davide Basile ◽

Maurice H. ter Beek ◽

Alessandro Fantechi ◽

Alessio Ferrari ◽

Stefania Gnesi ◽

...

Keyword(s):

Formal Methods

Download Full-text

Ensuring Safety with System Level Formal Modelling

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_25 ◽

2020 ◽

pp. 393-403

Author(s):

Thierry Lecomte ◽

Mathieu Comptier ◽

Julien Molinero ◽

Denis Sabatier

Keyword(s):

System Level ◽

Formal Modelling

Download Full-text

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_20 ◽

2020 ◽

pp. 307-325

Author(s):

Timm Liebrenz ◽

Paula Herber ◽

Sabine Glesner

Keyword(s):

Control Software ◽

Embedded Control ◽

Service Oriented

Download Full-text

On the Industrial Application of Critical Software Verification with VerCors

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_18 ◽

2020 ◽

pp. 273-292

Author(s):

Marieke Huisman ◽

Raúl E. Monti

Keyword(s):

Industrial Application ◽

Software Verification

Download Full-text

Guess What I’m Doing!

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_17 ◽

2020 ◽

pp. 255-272

Author(s):

Martin Fränzle ◽

Paul Kröger

Download Full-text

Reliable Smart Contracts

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications ◽

10.1007/978-3-030-61467-6_1 ◽

2020 ◽

pp. 3-8

Author(s):

Gordon J. Pace ◽

César Sánchez ◽

Gerardo Schneider

Keyword(s):

Smart Contracts

Download Full-text

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: ApplicationsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Native Custom Tokens in the Extended UTXO Model

Specifying Framing Conditions for Smart Contracts

Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems

Verifying Safety Properties of Robotic Plans Operating in Real-World Environments via Logic-Based Environment Modeling

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers

Ensuring Safety with System Level Formal Modelling

Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink

On the Industrial Application of Critical Software Verification with VerCors

Guess What I’m Doing!

Reliable Smart Contracts

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification and Validation: Applications
Latest Publications