7 citations · 29 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 1 cited
Generalising KAT to verify weighted computations
Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa
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 Bo…
cs.LO2019★ 1 cited
A Hybrid Dynamic Logic for Event/Data-based Systems
Rolf Hennicker, Alexandre Madeira, Alexander Knapp
We propose -logic as a formal foundation for the specification and development of event-based systems with local data states. The logic is intended to cov…