Overview
- Honorary volume dedicated to Bengt Jonsson on the occasion of his 60th birthday
- Contributions by leading researchers in the domain
- Features research results in model checking, temporal logic, and automata learning
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13030)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.
Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.
His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.
Similar content being viewed by others
Keywords
- architecture verification and validation
- artificial intelligence
- automata
- automata theory
- computer programming
- embedded systems
- formal languages
- formal logic
- formal methods
- graph theory
- linguistics
- model checking
- software architecture
- software design
- software engineering
- theoretical computer science
- verification and validation
Table of contents (10 chapters)
-
Front Matter
-
Back Matter
Editors and Affiliations
Bibliographic Information
Book Title: Model Checking, Synthesis, and Learning
Book Subtitle: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Editors: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-91384-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-030-91383-0Published: 22 November 2021
eBook ISBN: 978-3-030-91384-7Published: 02 December 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 219
Number of Illustrations: 44 b/w illustrations, 29 illustrations in colour
Topics: Logics and Meanings of Programs, Artificial Intelligence, Software Engineering, Control Structures and Microprogramming, Special Purpose and Application-Based Systems