most citedDeciding KAT and Hoare Logic with Derivatives

9 citations · 9 across the 1 of their papers we have counts for

collaborators

1 paper

cs.FL2012★ 9 cited

Deciding KAT and Hoare Logic with Derivatives

Ricardo Almeida, Sabine Broda, Nelma Moreira

Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular e…