396 search results - page 30 / 80 » Using Refinement Checking as System Testing |
168
Voted
HASE
2002
IEEE
15 years 7 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
156
click to vote
CORR
2009
Springer
15 years 2 hour ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
127
Voted
ICFEM
2009
Springer
14 years 12 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
94
Voted
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
99
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...