Advanced search    

Search: authors:"Wanxia Qu"

3 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

Mobile cyber-physical systems (CPSs) are very hard to verify, because of asynchronous communication and the arbitrary number of components. Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency. In this paper, we propose a formal approach to verify the safety properties of parameterized...

A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

Mobile cyber-physical systems (CPSs) are very hard to verify, because of asynchronous communication and the arbitrary number of components. Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency. In this paper, we propose a formal approach to verify the safety properties of parameterized...

State space reduction in modeling checking parameterized cache coherence protocol by two-dimensional abstraction

Yang Guo Wanxia Qu Long Zhang Weixia Xu model of an unbounded system is constructed out of finite states. The mathematical principles underlying TDA is presented. Theoretical reasoning