176 search results - page 1 / 36 » Formal Verification of Gate-Level Computer Systems |
CSR
2009
Springer
14 years 5 months ago
2009
Springer
DAC
2010
ACM
14 years 3 months ago
2010
ACM
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow...
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
CORR
2011
Springer
13 years 6 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
TII
2010
13 years 5 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...