default search action

combined dblp search
author search
venue search
publication search

ask others

The Practice of Formal Methods - Part I, 2024

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/lncs/14780
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/14780
Ana Cavalcanti, James Baxter:
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Lecture Notes in Computer Science 14780, Springer 2024, ISBN 978-3-031-66675-9

Essays in Honour of Cliff B. Jones - Part I

- view
  authority control:
- export record
  dblp key:
  - series/lncs/BloomfieldR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/BloomfieldR24
Robin Bloomfield, John Rushby:
Confidence in Assurance 2.0 Cases. 1-23
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Broy24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Broy24
Manfred Broy:
Captured: Compositional and Modular Approaches to Concurrency. 24-45
- view
  authority control:
- export record
  dblp key:
  - series/lncs/0001B24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/0001B24
Alan Burns, Sanjoy K. Baruah:
Utilising Assumptions to Determine the WCET of Multi-component Classification Systems. 46-64
- view
  authority control:
- export record
  dblp key:
  - series/lncs/ColvinHHHMS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/ColvinHHHMS24
Robert J. Colvin, Ian J. Hayes, Scott Heiner, Peter Höfner, Larissa Meinicke, Roger C. Su:
Practical Rely/Guarantee Verification of an Efficient Lock for seL4 on Multicore Architectures. 65-87
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Dongol0W24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Dongol0W24
Brijesh Dongol, Ori Lahav, Heike Wehrheim:
A Rely-Guarantee Framework for Proving Deadlock Freedom Under Causal Consistency. 88-108
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FitzgeraldLPFB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FitzgeraldLPFB24
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce, Leo Freitas, Nick Battle:
Verification Technology for VDM: Craft and Automation. 109-130
- view
  authority control:
- export record
  dblp key:
  - series/lncs/FreitasBS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/FreitasBS24
Leo Freitas, Aaron John Buhagiar, William E. Scott III:
SmartAudits: Applying Timebands to a Medical Device. 131-152
- view
  authority control:
- export record
  dblp key:
  - series/lncs/GaudelV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/GaudelV24
Marie-Claude Gaudel, Frédéric Voisin:
Efficient Uniform Sampling of Traces in Presence of Infeasibilities. 153-174
- view
  authority control:
- export record
  dblp key:
  - series/lncs/HansenLG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HansenLG24
Michael R. Hansen, Xianhao Liu, Jesper Grode:
Consistent Alignments for Simple Ontologies in the Digital Information Supply Chain. 175-194
- view
  authority control:
- export record
  dblp key:
  - series/lncs/HavelundS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/HavelundS24
Klaus Havelund, Natarajan Shankar:
What Is a Garbage Collector? An Exercise in Compositional Refinement. 195-215
- view
  authority control:
- export record
  dblp key:
  - series/lncs/000124
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/000124
Daniel Jackson:
A Concept-Oriented Approach to Software Development. 216-235
- view
  authority control:
- export record
  dblp key:
  - series/lncs/JonesT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/JonesT24
Kevin D. Jones, Kimberly Tam:
High Impact Malware Targeting Maritime Infrastructure. 236-250
- view
  authority control:
- export record
  dblp key:
  - series/lncs/KaufmannM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/KaufmannM24
Matt Kaufmann, J Strother Moore:
ACL2 Support for Floating-Point Computations. 251-270
- view
  authority control:
- export record
  dblp key:
  - series/lncs/Leuschel24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/Leuschel24
Michael Leuschel:
Specifications are Preferably Amenable to Proof and Animation. 271-291
- view
  authority control:
- export record
  dblp key:
  - series/lncs/LinBG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/LinBG24
Yuhui Lin, Alan Bundy, Gudmund Grov:
A Graphical Representation of Verification Proof Plans. 292-313

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.