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

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