979 search results - page 28 / 196 » Automated Environment Generation for Software Model Checking |
137
click to vote
EUROCAST
2007
Springer
15 years 9 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
159
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
148
click to vote
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
145
click to vote
KBSE
2009
IEEE
16 years 16 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
149
click to vote
OOPSLA
2007
Springer
15 years 12 months ago
2007
Springer
We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mappin...