Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

AvBrijesh Dongol,Elena Troubitsyna

Häftad, Engelska, 2020

Del i serien Lecture Notes in Computer Science

553 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions.

Produktinformation

Utgivningsdatum:2020-11-14
Mått:155 x 235 x 26 mm
Vikt:715 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:461
Förlag:Springer Nature Switzerland AG
ISBN:9783030634605

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT
Artificiell intelligens inom Data och IT

Innehållsförteckning

Integrating Machine Learning and Formal Modelling.- Modelling and Verification in B and Event-B.- Program Analysis and Testing.- Verification of Interactive Behaviour.- Formal Verification.- Static Analysis.- Domain-Specific Approaches.- Algebraic Techniques.

Betyg & recensioner

0/5

Du kanske också är intresserad av

Formal Methods Teaching

Brijesh Dongol, Luigia Petre, Graeme Smith

Häftad

553 kr

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas