Unlimited

Authorized users

Can lend chapters, not whole ebooks

Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.).

9783030908706 (electronic bk.)
3030908704 (electronic bk.)
3030908690 (print)
9783030908690 (print)

Cham, Switzerland : Springer, 2021.

English

1 online resource (801 pages)

10.1007/978-3-030-90870-6 doi

QA76.9.F67

004.01/51

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. The papers are organized in topical sections named: 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.

Includes author index.

Access limited to authorized users.

text file
PDF

Online resource; title from PDF title page (SpringerLink, viewed November 22, 2021).

Lecture notes in computer science ; 13047.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.

Online Resources > Ebooks
All Resources