227 search results - page 18 / 46 » Quantitative verification: models techniques and tools |
137
click to vote
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
113
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
122
click to vote
FAC
2000
15 years 1 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
114
click to vote
ENTCS
2002
15 years 1 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
111
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...