556 search results - page 52 / 112 » Checking Interval Properties of Computations |
157
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
131
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
124
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
110
click to vote
FOCS
2002
IEEE
15 years 9 months ago
2002
IEEE
We study auctions with severe bounds on the communication allowed: each bidder may only transmit t bits of information to the auctioneer. We consider both welfare- and profit-max...
141
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
—Wireless Sensor Network (WSN) applications are typically event-driven. While the source codes of these applications may look simple, they are executed with a complicated concurr...