• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Counterexample generation for program verification based on ownership refinement types.

Hideto UenoJohn TomanNaoki KobayashiTakeshi Tsukada
Published in: PEPM@POPL (2021)
Keyphrases
  • real time
  • model checking
  • database
  • formal verification
  • databases
  • data mining
  • knowledge base
  • support vector
  • lower bound
  • expert systems
  • generation algorithm