HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes

Xiangyu Jin, Bohua Zhan, Shuling Wang +1

We present a tool called HHLPar for verifying hybrid systems modelled in Hybrid Communicating Sequential Processes (HCSP). HHLPar is built upon a Hybrid Hoare Logic for HCSP, which…