Parameterized Verification of Multithreaded Software Libraries
- 23 March 2001
- book chapter
- Published by Springer Nature
- p. 158-173
- https://doi.org/10.1007/3-540-45319-9_12
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- General decidability theorems for infinite-state systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Bebop: A Symbolic Model Checker for Boolean ProgramsPublished by Springer Nature ,2000
- Automatic Verification of Parameterized Cache Coherence ProtocolsPublished by Springer Nature ,2000
- Automatic verification of parameterized synchronous systemsPublished by Springer Nature ,1996
- Reasoning about systems with many processesJournal of the ACM, 1992
- Reduction and covering of infinite reachability treesInformation and Computation, 1990
- The covering and boundedness problems for vector addition systemsTheoretical Computer Science, 1978
- Parallel program schemataJournal of Computer and System Sciences, 1969