Model Checking Lossy Vector Addition Systems
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 323-333
- https://doi.org/10.1007/3-540-49116-3_30
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Verifying programs with unreliable channelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- General decidability theorems for infinite-state systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Decidability of model checking for infinite-state concurrent systemsActa Informatica, 1997
- Undecidable Verification Problems for Programs with Unreliable ChannelsInformation and Computation, 1996
- Unreliable Channels Are Easier to Verify Than Perfect ChannelsInformation and Computation, 1996
- On the model checking problem for branching time logics and basic parallel processesPublished by Springer Nature ,1995
- Model checking and modular verificationACM Transactions on Programming Languages and Systems, 1994
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- The residue of vector sets with applications to decidability problems in Petri netsActa Informatica, 1985
- Parallel program schemataJournal of Computer and System Sciences, 1969