Login / Signup

Complx: a verification framework for concurrent imperative programs.

Sidney AmaniJune AndronickMaksym BortinCorey LewisChristine RizkallahJoseph Tuong
Published in: CPP (2017)
Keyphrases
  • conceptual framework
  • imperative programs
  • database
  • data sets
  • neural network
  • data mining
  • artificial intelligence
  • case study
  • expert systems