Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

AvMarieke Huisman,Corina Păsăreanu

Häftad, Engelska, 2021

Del i serien Lecture Notes in Computer Science

1 214 kr

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

Beskrivning

This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.

Produktinformation

Utgivningsdatum:2021-11-10
Mått:155 x 235 x 44 mm
Vikt:1 218 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:800
Förlag:Springer Nature Switzerland AG
ISBN:9783030908690

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

Invited Presentations. - Interactive Theorem Proving.- Neural Networks & Active Learning.- Logics & Theory.- Program Verification I.- Hybrid Systems.- Program Verification II.- Automata.- Analysis of Complex Systems.- Probabilities.- Industry Track Invited Papers.- Industry Track.- Divide et Impera: Efficient Synthesis of Cyber-Physical System.