1222 search results - page 171 / 245 » Verifying a File System Implementation |
153
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
125
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Integrity measurements provide a means by which distributed systems can assess the trustability of potentially compromised remote hosts. However, current measurement techniques si...
132
click to vote
MEMOCODE
2010
IEEE
15 years 10 days ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
120
click to vote
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
127
click to vote
MOBISYS
2004
ACM
16 years 2 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...