2488 search results - page 485 / 498 » An improvement in formal verification |
100
click to vote
STACS
1999
Springer
15 years 5 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
122
click to vote
SP
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
123
click to vote
COSIT
1997
Springer
15 years 5 months ago
1997
Springer
This paper gives a definition of Hierarchical Spatial Reasoning, which computes increasingly better results in a hierarchical fashion and stops the computation when a result is ac...
114
click to vote
APN
1993
Springer
15 years 5 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
107
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
─ Error tolerance formally captures the notion that – for a wide variety of applications including audio, video, graphics, and wireless communications – a defective chip that...