Formal Derivation of CSP Programs From Temporal Specifications.
Rudolf BerghammerBurghard von KargerPublished in: MPC (1995)
Keyphrases
- formal specification
- control flow
- constraint satisfaction problems
- spatio temporal
- recursive programs
- temporal information
- temporal constraints
- temporal patterns
- temporal data
- formal language
- reactive systems
- constraint satisfaction
- temporal reasoning
- decomposition methods
- spatial and temporal
- constraint programming
- temporal consistency
- formal methods
- temporal evolution
- operational semantics
- formal descriptions
- tree decomposition
- computer programs
- logic programs
- temporal analysis
- arc consistency
- model checking
- program synthesis
- space time
- linear temporal logic
- controlled natural language
- high level