Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.).
2021
QA76.9.F67
Linked e-resources
Linked Resource
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.).
ISBN
9783030908706 (electronic bk.)
3030908704 (electronic bk.)
3030908690 (print)
9783030908690 (print)
3030908704 (electronic bk.)
3030908690 (print)
9783030908690 (print)
Publication Details
Cham, Switzerland : Springer, 2021.
Language
English
Description
1 online resource (801 pages)
Item Number
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
Series
Lecture notes in computer science ; 13047.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science. Formal methods.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form
Linked Resources
Record Appears in
Table of Contents
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.
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.