A novel abstraction technique for continuous-time Markov chains (CTMCs) will be presented.
The technique fits within the realm of three-valued abstraction methods that have been used successfully for traditional model checking.
The key idea is to apply abstraction on uniform CTMCs that are readily obtained from general CTMCs, and to abstract transition probabilities by intervals. 
It is shown that this provides a conservative abstraction for both true and false for a three-valued semantics of the branching-time logic CSL (Continuous Stochastic Logic).
Experiments on an infinite-state CTMC indicate the feasibility of this abstraction technique.