Travelled to:
1 × Greece
Collaborated with:
Y.Pei H.Zhu C.Ma S.Qin Z.Qiu
Talks about:
properti (1) guarante (1) approach (1) reactiv (1) program (1) concurr (1) verifi (1) system (1) interv (1) check (1)
Person: Qiwen Xu
DBLP: Xu:Qiwen
Contributed to:
Wrote 2 papers:
- SEFM-2012-ZhuXMQQ #approach #concurrent #source code #verification
- The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs (HZ, QX, CM, SQ, ZQ), pp. 172–187.
- VMCAI-2004-YuX
- Checking Interval Based Properties for Reactive Systems (YP, QX), pp. 122–134.