1 option
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings / edited by Marieke Huisman, Corina Păsăreanu, Naijun Zhan.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Programming and software engineering 2945-9168 ; SL 2, 13047
- Programming and Software Engineering, 2945-9168 ; 13047
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer science.
- Computers, Special purpose.
- Software Engineering.
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Local Subjects:
- Software Engineering.
- Theory of Computation.
- Special Purpose and Application-Based Systems.
- Physical Description:
- 1 online resource (XVII, 800 pages) : 278 illustrations, 159 illustrations in color.
- Edition:
- 1st ed. 2021.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Cham : Springer International Publishing : Imprint: Springer, 2021.
- System Details:
- text file PDF
- 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 and Active Learning, Logics and 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.
- Contents:
- Invited Presentations. - Interactive Theorem Proving
- Neural Networks and Active Learning
- Logics and 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-030-90870-6
- 9783030908706
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.