4460 search results - page 284 / 892 » Formal methods for interactive systems |
155
click to vote
FORMATS
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. We describe OBDD-based symbolic model checking algorithms for simply-timed systems, i.e. finite state graphs where transitions carry a duration. These durations can be a...
180
click to vote
ISOLA
2004
Springer
16 years 3 hour ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
167
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
190
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
185
Voted
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...