Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13047)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: FM 2021.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (46 papers)
-
Front Matter
-
Invited Presentations
-
Front Matter
-
-
Interactive Theorem Proving
-
Front Matter
-
-
Neural Networks and Active Learning
-
Front Matter
-
-
Program Verification I
-
Front Matter
-
Other volumes
-
Formal Methods
Keywords
- architecture verification and validation
- artificial intelligence
- computer programming
- computer systems
- embedded systems
- formal languages
- formal logic
- formal methods
- formal verifications
- model checking
- object-oriented programming
- programming languages
- signal processing
- software architecture
- software design
- software engineering
- software quality
- theoretical computer science
- verification and validation
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods
Book Subtitle: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editors: Marieke Huisman, Corina Păsăreanu, Naijun Zhan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-90870-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-90869-0Published: 10 November 2021
eBook ISBN: 978-3-030-90870-6Published: 10 November 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 800
Number of Illustrations: 119 b/w illustrations, 159 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Theory of Computation, Special Purpose and Application-Based Systems