27 search results - page 4 / 6 » Formal Analysis of a Self-Stabilizing Algorithm Using Predic... |
109
Voted
ICSM
2005
IEEE
15 years 8 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
183
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Model checking is a formal technique for automatically verifying that a finite-state model satisfies a temporal property. In model checking, generally Binary Decision D...
130
Voted
TSP
2008
15 years 2 months ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...
115
Voted
FM
2001
Springer
15 years 6 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
143
click to vote
FMICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...