Sign in

Leveraging Control Flow Knowledge in SMT Solving of Program Verification.

Jianhui ChenFei He
Published in: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
  • control flow
  • data flow
  • knowledge base
  • expert systems
  • domain knowledge
  • artificial intelligence
  • solving problems
  • cooperative
  • knowledge representation
  • database
  • decision making
  • relational databases
  • process model