10870 search results - page 353 / 2174 » Model Checking Programs |
231
click to vote
WOODPECKER
2001
15 years 8 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
193
click to vote
ENTCS
2008
15 years 6 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...
253
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
192
click to vote
DSD
2009
IEEE
16 years 1 months ago
2009
IEEE
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...
194
click to vote
ESORICS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents an approach enabling a smart card issuer to verify that a new applet securely interacts with already downloaded applets. A security policy has been de...