225
click to vote
FMICS
15 years 11 months ago
2006 Springer 
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
224
click to vote
FMICS
15 years 11 months ago
2006 Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
199
Voted
FMICS
15 years 11 months ago
2006 Springer 
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
172
Voted
FMICS
15 years 11 months ago
2006 Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
168
Voted
FMICS
15 years 11 months ago
2006 Springer
Abstract. In this paper, we concentrate on incremental synthesis of timed automata for automatic addition of different types of bounded response properties. Bounded response
|
Formal Methods