Generalising KAT to verify weighted computations

Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transition...

Full description

Bibliographic Details
Main Author: Gomes, Leandro (author)
Other Authors: Madeira, Alexandre (author), Barbosa, Luis S. (author)
Format: article
Language:eng
Published: 2020
Subjects:
Kleene algebra
Hoare logic
Graded tests
Fuzzy relations
Programs verification
Online Access:http://hdl.handle.net/10773/27224
Country:Portugal
Oai:oai:ria.ua.pt:10773/27224

Internet

http://hdl.handle.net/10773/27224

Similar Items