4 citations · 5 across the 2 of their papers we have counts for
3 papers · 1 filter
A Logic for Paraconsistent Transition Systems
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Modelling complex information systems often entails the need for dealing with scenarios of inconsistency in which several requirements either reinforce or contradict each other. In…
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…
A logic for n-dimensional hierarchical refinement
Alexandre Madeira, Manuel A. Martins, Luís S. Barbosa
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by…