1222 search results - page 183 / 245 » Verifying a File System Implementation |
114
Voted
CAV
2001
Springer
15 years 6 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
115
click to vote
HPCA
2007
IEEE
15 years 8 months ago
2007
IEEE
To provide high dependability in a multithreaded system despite hardware faults, the system must detect and correct errors in its shared memory system. Recent research has explore...
107
click to vote
WOWMOM
2005
ACM
15 years 8 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
198
click to vote
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
111
click to vote
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...