2 papers
cs.PL2018
The Effect Race in Fine-Grained Concurrency
Xiaoxiao Yang
Most existed work require knowledge about the effect of program instructions (or statements) to analyze and verify algorithms. In this paper, by revealing some findings on executio…
cs.LO2010
Probabilistic Model Checking for Propositional Projection Temporal Logic
Xiaoxiao Yang
Propositional Projection Temporal Logic (PPTL) is a useful formalism for reasoning about period of time in hardware and software systems and can handle both sequential and parallel…