ICFEM   2004 International Conference on Formal Engineering Methods
Wall of Fame | Most Viewed ICFEM-2004 Paper
11 years 11 months ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source172
2Download preprint from source157
3Download preprint from source152
4Download preprint from source148
5Download preprint from source119
6Download preprint from source118
7Download preprint from source117
8Download preprint from source108
9Download preprint from source100
10Download preprint from source98
11Download preprint from source97
12Download preprint from source97
13Download preprint from source93
14Download preprint from source88
15Download preprint from source88
16Download preprint from source88
17Download preprint from source86
18Download preprint from source85
19Download preprint from source83
20Download preprint from source65