Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

AvMaurice H. ter Beek,Annabelle McIver

Häftad, Engelska, 2019

Del i serien Lecture Notes in Computer Science

549 kr

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

Beskrivning

This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.

Produktinformation

Utgivningsdatum:2019-09-15
Mått:155 x 235 x 43 mm
Vikt:1 183 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:774
Förlag:Springer Nature Switzerland AG
ISBN:9783030309411

Utforska kategorier

Innehållsförteckning

Invited Presentations.- Verification.- Synthesis Techniques.- Concurrency.- Model Checking Circus.- Model Checking.- Analysis Techniques.- Specification Languages.- Reasoning Techniques.- Modelling Languages.- Learning-Based Techniques and Applications.- Refactoring and Reprogramming- I-Day Presentations.

Du kanske också är intresserad av

Del 12232

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