Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent Transitions.
Rolf HennickerAlexander KnappAlexandre MadeiraFelix MindtPublished in: DaLí (2019)
Keyphrases
- dynamic logic
- reasoning about actions
- modal logic
- imperative programs
- propositional dynamic logic
- classical first order logic
- agent programming
- general purpose
- specification language
- high level
- delay insensitive
- formal specification
- first order logic
- control flow
- functional requirements
- behavioural patterns
- written in natural language
- expert systems
- web services