Can I read Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion on EtoBox?

Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion by Sander de Putter; Anton Wijs is a computer science book available to read on EtoBox.

What is Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion about?

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; St

Who reads Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion?

Author

Sander de Putter; Anton Wijs

Publisher

Springer International Publishing : Imprint : Springer

Published

2020

Language

EN

ISBN

9783030634612

Category

computer science

Subjects

Engineering, Mathematics, Science

Updated

2026-03-25