The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II /
This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership within the practice of formal methods, his career encompasses significant contributions to academia...
Zapisane w:
| Korporacja: | |
|---|---|
| Kolejni autorzy: | , |
| Format: | Elektroniczne E-book |
| Język: | angielski |
| Wydane: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Wydanie: | 1st ed. 2024. |
| Seria: | Lecture Notes in Computer Science,
14781 |
| Hasła przedmiotowe: | |
| Dostęp online: | https://doi.org/10.1007/978-3-031-66673-5 |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Spis treści:
- Reasoning about distributive laws in a concurrent refinement algebra
- HayesOn the Formalization of the Notion of an Algorithm
- A Note on Proofs of Earley’s Recognizer
- On the Relational Basis of Early R/G Work
- Model Refinement: Generating Refinements for Algorithm and SystemDesign
- Analysing the safety implications of security risks in cyber-physical systems
- Rely-Guarantee Interpretation of Sequence Diagrams
- Formal Analysis of Interactions between Safety and Security Requirements
- About Trust and Proof: An experimental framework for heterogeneous verification
- Uncertainty and Probabilistic UTP
- Modelling and Verifying Programs under the Total Store OrderMemory Model in an Algebraic Semantics Style
- Case Study: Modeling, Simulation, Verification, and Code Generationof an Automatic Cruise Control System
- Exploring the Boundaries of Rely/Guarantee and Links to Linearisability
- Less is More Revisited: Association with Global Multiparty Session Types
- Validation of Formal Models: A Case Study.