4 citations · 6 across the 3 of their papers we have counts for
4 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 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…
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…