Keyphrases
- formal specification
- attribute grammars
- control flow
- model checking
- nonmonotonic inference
- random field model
- specification language
- knowledge base
- high level
- first order logic
- reactive systems
- concurrent systems
- conditional probabilities
- functional requirements
- horn clauses
- multiscale
- context free
- case study
- data sets