2004 search results - page 52 / 401 » Comparison of Model Checking Tools for Information Systems |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
100
click to vote
STTT
2010
14 years 10 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
119
click to vote
SPIN
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
108
click to vote
ICFEM
2004
Springer
15 years 5 months ago
2004
Springer
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...
LISA
2007
15 years 2 months ago
2007
Problem determination remains one of the most expensive and time-consuming functions in system management due to the difficulty in automating what is essentially a highly experien...