Login / Signup

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).

Jie SuZuchao YangHengrui XingJiyu YangCong TianZhenhua Duan
Published in: TACAS (2) (2023)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • artificial intelligence
  • high level
  • general purpose
  • web applications
  • database
  • databases
  • interpolation method