In this thesis, we design and implement an analysis tool for a language called kiltera which is a timed extension of pi-calculus. kiltera allows the modeling of concurrent, mobile, real-time and distributed systems. Our ...