Control-flow guided clause generation for property directed reachability.
Xian LiKlaus SchneiderPublished in: HLDVT (2016)
Keyphrases
- control flow
- data flow
- software testing
- process model
- workflow management systems
- formal semantics
- state space
- transition systems
- modeling language
- theorem prover
- reactive systems
- database
- data sets
- intelligent systems
- search space
- relational databases
- multi agent
- artificial intelligence
- databases
- business process models