-
2
-
-
0142245459
-
Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP
-
Geist, D., Tronci, E., eds. of LNCS. Springer
-
Beyer, S., Jacobi, C., Kröning, D., Leinenbach, D., Paul, W.: Instantiating uninterpreted functional units and memory system: Functional verification of the VAMP. In Geist, D., Tronci, E., eds.: CHARME'03. Volume 2860 of LNCS. Springer (2003) 51-65
-
(2003)
CHARME'03
, vol.2860
, pp. 51-65
-
-
Beyer, S.1
Jacobi, C.2
Kröning, D.3
Leinenbach, D.4
Paul, W.5
-
3
-
-
33646404050
-
On the verification of memory management mechanisms
-
Borrione, D., Paul, W., eds. of LNCS. Springer
-
Dalinger, I., Hillebrand, M., Paul, W.: On the verification of memory management mechanisms. In Borrione, D., Paul, W., eds.: CHARME'05. Volume 3725 of LNCS. Springer (2005) 301-316
-
(2005)
CHARME'05
, vol.3725
, pp. 301-316
-
-
Dalinger, I.1
Hillebrand, M.2
Paul, W.3
-
4
-
-
34547464258
-
A formal model of lower system layer
-
IEEE/ACM Press
-
Schmaltz, J.: A formal model of lower system layer. In: FMCAD'06, IEEE/ACM Press (2006) 191-192
-
(2006)
FMCAD'06
, pp. 191-192
-
-
Schmaltz, J.1
-
5
-
-
47049119006
-
Pervasive verification of distributed real-time systems
-
Broy, M., Grünbauer, J., Hoare, T., eds. of IOS Press, NATO Security Through Science Series To appear
-
Knapp, S., Paul, W.: Pervasive verification of distributed real-time systems. In Broy, M., Grünbauer, J., Hoare, T., eds.: Software System Reliability and Security. Volume 9 of IOS Press, NATO Security Through Science Series. (2007) To appear.
-
(2007)
Software System Reliability and Security
, vol.9
-
-
Knapp, S.1
Paul, W.2
-
6
-
-
33748538680
-
Dealing with I/O devices in the context of pervasive system verification
-
IEEE Computer Society
-
Hillebrand, M., In der Rieden, T., Paul, W.: Dealing with I/O devices in the context of pervasive system verification. In: ICCD '05, IEEE Computer Society (2005) 309-316
-
(2005)
ICCD '05
, pp. 309-316
-
-
Hillebrand, M.1
In Der Rieden, T.2
Paul, W.3
-
7
-
-
84884524680
-
Component design by example: A step-by-step process using VHDL with UART as vehicle
-
Cohen, B.: Component design by example: A step-by-step process using VHDL with UART as vehicle. VhdlCohen (2000)
-
(2000)
VhdlCohen
-
-
Cohen, B.1
-
8
-
-
0346148457
-
System level design and verification using a synchronous language
-
IEEE Computer Society / ACM
-
Berry, G., Kishinevsky, M., Singh, S.: System level design and verification using a synchronous language. In: ICCAD, IEEE Computer Society / ACM (2003) 433-440
-
(2003)
ICCAD
, pp. 433-440
-
-
Berry, G.1
Kishinevsky, M.2
Singh, S.3
-
9
-
-
84884509631
-
-
The Design Verification Company: UART nVS
-
ALDEC - The Design Verification Company: UART nVS. http://www.aldec.com/ products/ipcores/-datasheets/nSys/UART-nVS.pdf (2006)
-
(2006)
-
-
-
10
-
-
0004314053
-
-
Kluwer Academic Publishers, Norwell, MA, USA
-
Rashinkar, P., Paterson, P., Singh, L.: System-on-a-Chip Verification: Methodology and Techniques. Kluwer Academic Publishers, Norwell, MA, USA (2001)
-
(2001)
System-on-a-Chip Verification: Methodology and Techniques
-
-
Rashinkar, P.1
Paterson, P.2
Singh, L.3
-
11
-
-
84894630000
-
Automatically validating temporal safety properties of interfaces
-
Dwyer, M.B., ed. of LNCS. Springer
-
Ball, T., Rajamani, S.K.: Automatically validating temporal safety properties of interfaces. In Dwyer, M.B., ed.: SPIN. Volume 2057 of LNCS. Springer (2001) 103-122
-
(2001)
SPIN
, vol.2057
, pp. 103-122
-
-
Ball, T.1
Rajamani, S.K.2
-
13
-
-
33750416062
-
A principled approach to operating system construction in haskell
-
Danvy, O., Pierce, B.C., eds. ACM
-
Hallgren, T., Jones, M.P., Leslie, R., Tolmach, A.P.: A principled approach to operating system construction in Haskell. In Danvy, O., Pierce, B.C., eds.: ICFP, ACM (2005)
-
(2005)
ICFP
-
-
Hallgren, T.1
Jones, M.P.2
Leslie, R.3
Tolmach, A.P.4
-
14
-
-
84884525649
-
-
Symposium on 25 years of Model Checking, Seattle, USA. Invited talk
-
Holzmann, G.J.: New challenges in model checking. http://www.easychair. org/FLoC-06/holzmann-25mc-floc06.pdf (2006) Symposium on 25 years of Model Checking, Seattle, USA. Invited talk.
-
(2006)
New Challenges in Model Checking
-
-
Holzmann, G.J.1
-
17
-
-
33646394872
-
Verifying timing behavior by abstract interpretation of executable code
-
Borrione, D., Paul, W., eds. of LNCS. Springer
-
Ferdinand, C., Heckmann, R.: Verifying timing behavior by abstract interpretation of executable code. In Borrione, D., Paul, W., eds.: CHARME'05. Volume 3725 of LNCS. Springer (2005) 336-339
-
(2005)
CHARME'05
, vol.3725
, pp. 336-339
-
-
Ferdinand, C.1
Heckmann, R.2
|