-
2
-
-
33646178489
-
Mocha: Modularity in model checking
-
Springer LNCS 1427, 210 [AHM+98]
-
[AHM+98]. R. Alur, T.A. Henzinger, F.Y.C. Mang, S. Qadeer, S.K. Rajamani, and S. Tasiran. Mocha: Modularity in model checking. In CAV 98: Computer Aided Verification, Springer LNCS 1427, pp 521-525, 1998. 210
-
(1998)
CAV 98: Computer Aided Verification
, pp. 521-525
-
-
Alur, R.1
Henzinger, T.A.2
Mang, F.Y.C.3
Qadeer, S.4
Rajamani, S.K.5
Tasiran, S.6
-
3
-
-
84947923147
-
Symbolic exploration of transition hierarchies
-
Springer LNCS 1384, 209, 210 [AHR98]
-
[AHR98]. R. Alur, T.A. Henzinger, and S.K. Rajamani. Symbolic exploration of transition hierarchies. In TA CAS 98: Tools and Algorithms for Construction and Analysis of Systems, Springer LNCS 1384, pp 330-344, 1998. 209, 210
-
(1998)
TA CAS 98: Tools and Algorithms for Construction and Analysis of Systems
, pp. 330-344
-
-
Alur, R.1
Henzinger, T.A.2
Rajamani, S.K.3
-
5
-
-
85066381387
-
-
Technical Report M99/14, ERL, University of California, Berkeley,. [HLQR99]
-
[HLQR99]. T. A. Henzinger, X. Liu, S. Qadeer, and S. K. Rajamani. Formal specification and verification of a dataflow processor array. Technical Report M99/14, ERL, University of California, Berkeley, 1999. 210, 220, 220
-
(1999)
Formal specification and verification of a dataflow processor array
-
-
Henzinger, T.A.1
Liu, X.2
Qadeer, S.3
Rajamani, S.K.4
-
6
-
-
84863971672
-
You assume, we guarantee: Methodology and case studies
-
Springer LNCS 1427, 209, 209, 210, 211, 216, 216, 216 [HQR98]
-
[HQR98]. T.A. Henzinger, S. Qadeer, and S.K. Rajamani. You assume, we guarantee: methodology and case studies. In CAV 98: Computer Aided Verification, Springer LNCS 1427, pp 440-451, 1998. 209, 209, 210, 211, 216, 216, 216
-
(1998)
CAV 98: Computer Aided Verification
, pp. 440-451
-
-
Henzinger, T.A.1
Qadeer, S.2
Rajamani, S.K.3
-
8
-
-
84947418436
-
A compositional rule for hardware design refinement
-
Springer LNCS 1254, 209, 211 [McM97]
-
[McM97]. K.L. McMillan. A compositional rule for hardware design refinement. In CAV 97: Computer-Aided Verification, Springer LNCS 1254, pp 24-35, 1997. 209, 211
-
(1997)
CAV 97: Computer-Aided Verification
, pp. 24-35
-
-
McMillan, K.L.1
-
9
-
-
84863924303
-
Verification of an implementation of Tomasulo's algorithm by compositional model checking
-
Springer LNCS 1427, 209, 211, 217, 217 [McM98]
-
[McM98]. K.L. McMillan. Verification of an implementation of Tomasulo's algorithm by compositional model checking. In CAV 98: Computer-Aided Verification, Springer LNCS 1427, pp 110-121, 1998. 209, 211, 217, 217
-
(1998)
CAV 98: Computer-Aided Verification
, pp. 110-121
-
-
McMillan, K.L.1
-
10
-
-
58749115623
-
An architecture for web-based image processing
-
220 [SR97]
-
[SR97]. V.P. Srini and J.M. Rabaey. An architecture for web-based image processing. In Proc. SPIE Conference 3166, pp 90-101, 1997. 220
-
(1997)
Proc. SPIE Conference 3166
, pp. 90-101
-
-
Srini, V.P.1
Rabaey, J.M.2
-
12
-
-
0038747215
-
A parallel DSP with memory and I/O processors
-
209, 220 [STUR98]
-
[STUR98]. V.P. Srini, J. Thendean, S.Z. Ueng, and J.M. Rabaey. A parallel DSP with memory and I/O processors. In Proc. SPIE Conference 3452, pp 2-13, 1998. 209, 220
-
(1998)
Proc. SPIE Conference 3452
, pp. 2-13
-
-
Srini, V.P.1
Thendean, J.2
Ueng, S.Z.3
Rabaey, J.M.4
|