Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14000)
Conference series link(s): FM: International Symposium on Formal Methods
Conference proceedings info: FM 2023.
Buying options
This is a preview of subscription content, access via your institution.
Table of contents (38 papers)
-
Front Matter
About this book
Keywords
- architecture verification and validation
- artificial intelligence
- computational complexity and cryptography
- design and analysis of algorithms
- distributed computing methodologies
- embedded systems
- formal languages and automata theory
- formal logic
- machine learning
- logic
- model checking
- modeling and simulation
- models of computation
- randomness, geometry and discrete structures
- semantics and reasoning
- software engineering
- symbolic and algebraic manipulation
- theory and algorithms for application domains
Editors and Affiliations
-
University of Toronto, Toronto, Canada
Marsha Chechik
-
RWTH Aachen University, Aachen, Germany
Joost-Pieter Katoen
-
University of Lübeck, Lübeck, Germany
Martin Leucker
Bibliographic Information
Book Title: Formal Methods
Book Subtitle: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Editors: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-27481-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Softcover ISBN: 978-3-031-27480-0Published: 03 March 2023
eBook ISBN: 978-3-031-27481-7Published: 02 March 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 659
Number of Illustrations: 1098 b/w illustrations, 132 illustrations in colour
Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Special Purpose and Application-Based Systems, Programming Language, Control Structures and Microprogramming, Natural Language Processing (NLP)