Tiegeng Luo

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper, a qualitative model checking algorithm for verification of distributed probabilistic real-time systems (DPRS) is presented. The model of DPRS, called real-time probabilistic process model (RPPM), is over continuous time domain. The properties of DPRS are described by using deterministic timed automata (DTA). The key part in the algorithm is(More)
  • 1