Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.).
International Symposium of Formal Methods Europe (24th : 2021 : Online); Huisman, Marieke.; Păsăreanu, Corina S.; Zhan, Naijun.
2021
QA76.9.F67
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.).
Meeting Name International Symposium of Formal Methods Europe (24th : 2021 : Online)
ISBN 9783030908706 (electronic bk.)
3030908704 (electronic bk.)
3030908690 (print)
9783030908690 (print)
DOI https://doi.org/10.1007/978-3-030-90870-6
Imprint Cham, Switzerland : Springer, 2021.
Language English
Description 1 online resource (801 pages)
Other Standard Identifiers 10.1007/978-3-030-90870-6 doi
Call Number QA76.9.F67
Dewey Decimal Classification 004.01/51
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed November 22, 2021).
Added Author Huisman, Marieke.
Păsăreanu, Corina S.
Zhan, Naijun.
Series Lecture notes in computer science ; 13047.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Formal Methods.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export