Overview
- 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)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 papers)
-
Semantics
-
Analysis
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
About this book
Editors and Affiliations
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