1108 search results - page 209 / 222 » Model Checking of Safety Properties |
129
Voted
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
96
Voted
IDEAS
1999
IEEE
15 years 4 months ago
1999
IEEE
Data integration of several sources has gained considerable attentions with the recent popularity of the Web. In the real world, some information may be missing i.e., partial and ...
93
Voted
ASYNC
2007
IEEE
15 years 4 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
113
click to vote
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...