Login / Signup
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems.
Alexandre Madeira
Luís Soares Barbosa
Rolf Hennicker
Manuel A. Martins
Published in:
ICTAC (2016)
Keyphrases
</>
dynamic logic
reactive systems
software engineering
case study
relational databases
high level
multi agent
natural language
multi agent systems
information flow
formal specification
formal methods
reasoning about actions
propositional dynamic logic