Keyphrases
- formal specification
- formal language
- operational semantics
- formal descriptions
- software testing
- reactive systems
- formal verification
- requirements specification
- bayesian networks
- control flow
- data mining
- databases
- information systems
- knowledge representation
- source code
- test cases
- test data
- artificial intelligence
- real world
- asynchronous circuits