Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. B. Alpern, F.B. Schneider, Defining liveness, Information Processing Letters 21 (1985), 181–185.
2. K. Apt, N. Francez, S. Katz, Appraising fairness in languages for distributed programming, Distributed Computing, Vol 2 (1988), 226–241.
3. P. Godefroid, Using partial orders to improve automatic verification methods, CAV'90, DIMACS Series, Vol 3, 1991, 321–339.
4. LNCS 575;P. Godefroid,1991
5. S. Katz, D. Peled, Verification of distributed programs using representative interleaving sequences, Distributed Computing 6 (1992), 107–120, A preliminary version, titled An efficient verification method for parallel and distributed programs, appeared in: Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, The Netherlands, 1988, LNCS 354, Springer-Verlag, 489–507.
Cited by
221 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Greybox Fuzzing for Concurrency Testing;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
2. Applicability of Model Checking for Verifying Spacecraft Operational Designs;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
3. On the Introduction of Guarded Lists in Bach: Expressiveness, Correctness, and Efficiency Issues;Electronic Proceedings in Theoretical Computer Science;2023-08-21
4. Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels;Proceedings of the ACM on Programming Languages;2023-06-06
5. A Pragmatic Approach to Stateful Partial Order Reduction;Lecture Notes in Computer Science;2023