'Institute of Electrical and Electronics Engineers (IEEE)'
Doi
Abstract
In this paper, we present an efficient verification method for probabilistic timed automaton. This method based on predicate abstractions and refinements realizes effective automated verifications for real-time and probabilistic embedded systems