478 search results - page 5 / 96 » Formal Methods for Specifying, Validating, and Verifying Req... |
148
Voted
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
235
Voted
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
111
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Timing exception verification has become a center of interest as incorrect constraints can lead to chip failures. Proving that a false path is valid or not is a difficult problem ...
137
click to vote
CCS
2001
ACM
15 years 8 months ago
2001
ACM
Although there is a substantial amount of work on formal requirements for two and three-party key distribution protocols, very little has been done on requirements for group proto...
140
Voted
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...