共 50 条
- [1] Model for parallel verification of programs [J]. SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 3, PROCEEDINGS, 2007, : 623 - +
- [4] A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model [J]. Automatic Control and Computer Sciences, 2022, 56 : 762 - 777
- [5] Design and verification of parallel programs [J]. DCABES 2004, Proceedings, Vols, 1 and 2, 2004, : 317 - 319
- [6] FORMAL VERIFICATION OF PARALLEL PROGRAMS [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (07) : 371 - 384
- [8] A Verification Technique for Deterministic Parallel Programs [J]. NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 247 - 264
- [9] CONCEPTION, WRITING, AND VERIFICATION OF PARALLEL PROGRAMS [J]. RAIRO-INFORMATIQUE-COMPUTER SCIENCE, 1981, 15 (03): : 235 - 253
- [10] Verification of Java']JavaSpaces™ parallel programs [J]. THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 196 - 205