32 search results - page 1 / 7 » A Survey of Analysis Models and Methods in Website Verificat... |
ICWE
2007
Springer
13 years 10 months ago
2007
Springer
PTS
2008
13 years 6 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
IANDC
2006
13 years 4 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
AIS
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
FORTE
2009
13 years 2 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...