176 search results - page 6 / 36 » Formal Verification of Gate-Level Computer Systems |
107
click to vote
IJNSEC
2010
14 years 6 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
102
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
IJIT
2004
15 years 1 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
132
Voted
FORTE
1994
15 years 29 days ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
DAC
2000
ACM
16 years 19 days ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...