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...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Harel, David, Pratt, Vaughan R.
Хэвлэсэн: 2023
Онлайн хандалт:https://hdl.handle.net/1721.1/148926