2282 search results - page 245 / 457 » Active property checking |
138
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
The load/store queue (LSQ) is one of the most complex parts of contemporary processors. Its latency is critical for the processor performance and it is usually one of the processo...
197
click to vote
CEEMAS
2001
Springer
15 years 9 months ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
178
Voted
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
130
Voted
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
270
click to vote
POPL
2003
ACM
16 years 5 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...