Generalising KAT to Verify Weighted Computations

DOI10.7561/SACS.2019.2.141MaRDI QIDQ5089610

Leandro G. Gomes, Alexandre Madeira, Luís Soares Barbosa

Publication date: 19 July 2022

Published in: Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.01146

zbMATH Keywords

fuzzy relationsHoare logicKleene algebragraded tests

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A semantics and a logic for \textit{Fuzzy Arden Syntax}

This page was built for publication: Generalising KAT to Verify Weighted Computations