Analysis of Correct Synchronization of Operating System Components-Reference-Cited by-同舟云学术

Analysis of Correct Synchronization of Operating System Components

Published:2020-12 Issue:8 Volume:46 Page:712-730
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Andrianov P. S.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

http://link.springer.com/content/pdf/10.1134/S0361768820080022.pdf

Reference44 articles.

1. Abdulla, P., Aronis, S., Jonsson, B., and Sagonas, K., Optimal dynamic partial order reduction, SIGPLAN Not., 2014, vol. 49, no. 1, pp. 373–384.

2. Godefroid, P., Partial-Order Methods for the Verification of Concurrent Systems: an Approach to the State-Explosion Problem, Berlin, Heidelberg: Springer-Verlag, 1996.

3. Basler, G., Mazzucchi, M., Wahl, T., and Kroening, D., Symbolic counter abstraction for concurrent software, in Proc. 21st Int. Conf. on Computer Aided Verification, CAV’09, Berlin, Heidelberg: Springer-Verlag, 2009, pp. 64–78.

4. Beyer, D., Automatic verification of C and Java programs: SV-COMP 2019, in Tools and Algorithms for the Construction and Analysis of Systems, Beyer, D. Huisman, M. Kordon, F. and Steffen, B., Eds., Cham: Springer Int. Publ., 2019, pp. 133–155.

5. Beyer, D., Henzinger, T.A., and Theoduloz, G., Program analysis with dynamic precision adjustment, in Proc. 23rd IEEE/ACM Int. Conf. on Automated Software Engineering, ASE 2008, L’Aquila, Sept. 2008, pp. 29–38.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State of the Art in Software Verification and Witness Validation: SV-COMP 2024;Lecture Notes in Computer Science;2024

2. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Decomposing software verification into off-the-shelf components;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

4. C for yourself;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18

5. Progress on Software Verification: SV-COMP 2022;Tools and Algorithms for the Construction and Analysis of Systems;2022