Ernst-Rüdiger Olderog: A Life for Meaning

DOI10.1007/978-3-319-23506-6_2zbMath1360.01041OpenAlexW2294682110MaRDI QIDQ3449620

André Platzer

Publication date: 4 November 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23506-6_2

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Uses Software

• Coq
• Isabelle/HOL

Cites Work

• Specification-oriented semantics for communicating processes
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
• Sound and complete Hoare-like calculi based on copy rules
• Transformational design of real-time systems. I: From requirements to program specifications
• Isabelle/HOL. A proof assistant for higher-order logic
• Proving Safety of Traffic Manoeuvres on Country Roads
• Verification of cooperating traffic agents
• Nets, Terms and Formulas
• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
• Formal Methods for Components and Objects
• Real-Time Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ernst-Rüdiger Olderog: A Life for Meaning