1472 search results - page 170 / 295 » On Model Checking Infinite-State Systems |
145
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
166
click to vote
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
144
click to vote
FAC
2007
15 years 4 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
102
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
152
click to vote
ICNC
2005
Springer
15 years 9 months ago
2005
Springer
: Traffic behavior in a large-scale network can be viewed as a complicated non-linear system, so it is very difficult to describe the long-term network traffic behavior in a large-...