Nondeterminism in Logics of Programs
We investigate the principles underlying reasoning about nondeterministic programs, and present a logic to support this kind of reasoning. Our logic, an extension of dynamic logic ([22] and [12]), subsumes most existing first-order logics of nondeterministic programs, including that developed by Dij...
Үндсэн зохиолчид: | , |
---|---|
Хэвлэсэн: |
2023
|
Онлайн хандалт: | https://hdl.handle.net/1721.1/148926 |