Verifying Parameterized taDOM+ Lock Managers
From MaRDI portal
Publication:5448673
Recommendations
Cites work
- scientific article; zbMATH DE number 1614699 (Why is no real title available?)
- scientific article; zbMATH DE number 1956578 (Why is no real title available?)
- scientific article; zbMATH DE number 2102714 (Why is no real title available?)
- A structural induction theorem for processes
- An approach to automating the verification of compact parallel coordination programs. I
- Appendix
- Automatic verification of parameterized networks of processes
- Computer Science Logic
- Defining liveness
- Exact and efficient verification of parameterized cache coherence protocols
- Introduction to algorithms
- Reasoning about systems with many processes
This page was built for publication: Verifying Parameterized taDOM+ Lock Managers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448673)