6059 search results - page 305 / 1212 » A Technique for Verifying Measurements |
157
click to vote
FORTE
1998
15 years 8 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
184
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mi...
197
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
174
click to vote
ENDM
2010
15 years 6 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
187
click to vote
IAJIT
2008
15 years 6 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...