News
A program logic for obstruction-freedom. Higher Education Press . Journal Frontiers of Computer Science DOI 10.1007/s11704-023-2774-9 ...
Program verification, empowered by temporal logic, employs formal methods to systematically detect errors such as race conditions and deadlocks, thereby affirming the reliability of concurrent and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback