4036 search results - page 415 / 808 » Formal Methods |
185
click to vote
ISOLA
2004
Springer
16 years 4 days 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...
194
click to vote
SFM
2004
Springer
16 years 4 days ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
176
click to vote
SFM
2004
Springer
16 years 4 days ago
2004
Springer
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
173
click to vote
CAV
2003
Springer
16 years 22 hour 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...
147
Voted
FM
2003
Springer
16 years 12 hour ago
2003
Springer
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...