Editors:
- Contains papers presented at a symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday
- The Festschrift includes contributions from colleagues and friends who have accompanied Ernst-Rüdiger Olderog through his scientific life
- Covers a broad spectrum of topics all touching the theme of formal modeling and correctness in system design
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9360)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (17 papers)
-
Front Matter
About this book
Keywords
- Bisimulation
- Concurrency
- Cyber-physical systems
- Embedded systems
- Formal methods
- Logic
- Machine learning
- Model-based testing
- Operational semantics
- Petri nets
- Probabilistic programs
- Process algebra
- Real-time systems
- Reinforcement learning
- Scheduling
- Semantics and reasoning
- Software validation
- Software verification
- Static, dynamic, and infinitary control
- Term rewriting
Editors and Affiliations
-
University of Kaiserslautern, Kaiserslautern, Germany
Roland Meyer
-
Computer Science, Carnegie Mellon U, Carnegie Mellon University, Pittsburgh, USA
André Platzer
-
University of Paderborn, Paderborn, Germany
Heike Wehrheim
Bibliographic Information
Book Title: Correct System Design
Book Subtitle: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings
Editors: Roland Meyer, André Platzer, Heike Wehrheim
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-23506-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-23505-9Published: 03 September 2015
eBook ISBN: 978-3-319-23506-6Published: 03 September 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 279
Number of Illustrations: 69 illustrations in colour
Topics: Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Software Engineering, Programming Languages, Compilers, Interpreters, Artificial Intelligence