56 search results - page 5 / 12 » On Decidability of LTL Model Checking for Process Rewrite Sy... |
137
Voted
QEST
2005
IEEE
15 years 9 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
181
Voted
TSE
2011
14 years 10 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
242
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Pushdown Systems (PDSs) has become an important paradigm for program analysis. Indeed, recent work has shown a deep connection between inter-procedural dataflow analysis for seque...
129
Voted
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
144
Voted
CHARME
2005
Springer
15 years 9 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...