Correctness and Bounded Correctness [Keynote Address]

Emerging

0
Citations
0
Refs
2019
Year
Search Works
Work Details
  • DOI 10.1109/icis46139.2019.8940286
  • OpenAlex ID W3008339103
  • Type Conference-abstract
  • Language EN
  • Published 01 Jun 2019
  • Pages 2
  • Source IEEE/ACIS International Conference on Co…
  • Countries 1
  • Institutions 1
  • Added 10 Oct 2025
  • Updated 05 Oct 2026
External Links
OpenAlex Record DOI Resolver
MENU
0

Correctness and Bounded Correctness [Keynote Address]

Conference-abstract 2019 EN

Summary form only given, as follows. The complete presentation was not made available for publication as part of the conference proceedings. Correctness is an important issue in computer science and software engineering. For concurrent systems, the definition of correctness is usually based on properties of infinite execution paths. Bounded correctness is a kind of correctness defined on finite pa…

0

Citations

0

References

1

Authors

0.00

FWCI

Topics
Keywords
Authors & Affiliations
1 authors
#AuthorInstitutionsORCID
1 Wenhui Zhang Corresponding University of Chinese Academy … (CN)
Related Works
10

Data: OpenAlex