Login / Signup

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias HeizmannYu-Wen ChenDaniel DietschMarius GreitschusAlexander NutzBetim MusaClaus SchätzleChristian SchillingFrank SchüsseleAndreas Podelski
Published in: TACAS (2) (2017)
Keyphrases
  • cloud computing
  • cellular automata
  • construction process
  • database
  • artificial intelligence
  • image segmentation
  • information technology
  • markov chain
  • pattern matching
  • regular expressions