-
1
-
-
57849091694
-
Race analysis for SystemC using model checking
-
IEEE, Los Alamitos
-
Blanc, N., Kroening, D.: Race analysis for SystemC using model checking. In: Proceedings of ICCAD 2008, pp. 356-363. IEEE, Los Alamitos (2008)
-
(2008)
Proceedings of ICCAD
, pp. 356-363
-
-
Blanc, N.1
Kroening, D.2
-
2
-
-
47249137015
-
Scoot: A tool for the analysis of SystemC models
-
Ramakrishnan, C.R, Rehof, J, eds, TACAS 2008, Springer, Heidelberg
-
Blanc, N., Kroening, D., Sharygina, N.: Scoot: A tool for the analysis of SystemC models. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 467-470. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 467-470
-
-
Blanc, N.1
Kroening, D.2
Sharygina, N.3
-
3
-
-
24644505403
-
SATABS: SAT-based predicate abstraction for ANSI-C
-
Halbwachs, N, Zuck, L.D, eds, TACAS 2005, Springer, Heidelberg
-
Clarke, E., Kroening, D., Sharygina, N., Yorav, K.: SATABS: SAT-based predicate abstraction for ANSI-C. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 570-574. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3440
, pp. 570-574
-
-
Clarke, E.1
Kroening, D.2
Sharygina, N.3
Yorav, K.4
-
4
-
-
0026829493
-
What are race conditions? Some issues and formal-izations
-
Netzer, R.H.B., Miller, B.P.: What are race conditions? Some issues and formal-izations. ACM Lett. Program. Lang. Syst. 1, 74-88 (1992)
-
(1992)
ACM Lett. Program. Lang. Syst
, vol.1
, pp. 74-88
-
-
Netzer, R.H.B.1
Miller, B.P.2
-
6
-
-
0031272525
-
Eraser: A dynamic data race detector for multithreaded programs
-
Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15, 391-411 (1997)
-
(1997)
ACM Trans. Comput. Syst
, vol.15
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.5
-
7
-
-
21644474151
-
RacerX: Effective, static detection of race conditions and deadlocks
-
ACM, New York
-
Engler, D., Ashcraft, K.: RacerX: Effective, static detection of race conditions and deadlocks. In: Operating systems principles (SOSP), pp. 237-252. ACM, New York (2003)
-
(2003)
Operating systems principles (SOSP)
, pp. 237-252
-
-
Engler, D.1
Ashcraft, K.2
-
8
-
-
33746060520
-
Effective static race detection for Java
-
ACM, New York
-
Naik, M., Aiken, A., Whaley, J.: Effective static race detection for Java. In: Programming language design and implementation (PLDI), pp. 308-319. ACM, New York (2006)
-
(2006)
Programming language design and implementation (PLDI)
, pp. 308-319
-
-
Naik, M.1
Aiken, A.2
Whaley, J.3
-
9
-
-
45849085781
-
A survey of automated techniques for formal software verification
-
D'Silva, V., Kroening, D., Weissenbacher, G.: A survey of automated techniques for formal software verification. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) 27, 1165-1178 (2008)
-
(2008)
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
, vol.27
, pp. 1165-1178
-
-
D'Silva, V.1
Kroening, D.2
Weissenbacher, G.3
-
10
-
-
34547349041
-
Formal techniques for SystemC verification
-
ACM, New York
-
Vardi, M.Y.: Formal techniques for SystemC verification. In: Design Automation Conference (DAC), pp. 188-192. ACM, New York (2007)
-
(2007)
Design Automation Conference (DAC)
, pp. 188-192
-
-
Vardi, M.Y.1
-
11
-
-
77954012254
-
Model checking concurrent Linux device drivers
-
ACM, New York
-
Witkowski, T., Blanc, N., Kroening, D., Weissenbacher, G.: Model checking concurrent Linux device drivers. In: Automated software engineering (ASE), pp. 501-504. ACM, New York (2007)
-
(2007)
Automated software engineering (ASE)
, pp. 501-504
-
-
Witkowski, T.1
Blanc, N.2
Kroening, D.3
Weissenbacher, G.4
-
12
-
-
8344288219
-
KISS: Keep it simple and sequential
-
Qadeer, S., Wu, D.: KISS: keep it simple and sequential. SIGPLAN Not. 39, 14-24 (2004)
-
(2004)
SIGPLAN Not
, vol.39
, pp. 14-24
-
-
Qadeer, S.1
Wu, D.2
-
14
-
-
84947441305
-
-
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, 1254, pp. 72-83. Springer, Heidelberg (1997)
-
Graf, S., Saïdi, H.: Construction of abstract state graphs with PVS. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 72-83. Springer, Heidelberg (1997)
-
-
-
-
15
-
-
0003940079
-
Boolean programs: A model and process for software analysis
-
Technical Report MSR-TR-2000-14, Microsoft Research
-
Ball, T., Rajamani, S.: Boolean programs: A model and process for software analysis. Technical Report MSR-TR-2000-14, Microsoft Research (2000)
-
(2000)
-
-
Ball, T.1
Rajamani, S.2
-
16
-
-
24144461208
-
-
Godefroid, P.: Software model checking: The VeriSoft approach. Form. Methods Syst. Des. 26, 77-101 (2005)
-
Godefroid, P.: Software model checking: The VeriSoft approach. Form. Methods Syst. Des. 26, 77-101 (2005)
-
-
-
-
17
-
-
51549104734
-
Predictive runtime verification of multi-processor SoCs in SystemC
-
ACM, New York
-
Sen, A., Ogale, V., Abadir, M.S.: Predictive runtime verification of multi-processor SoCs in SystemC. In: Design Automation Conference (DAC), pp. 948-953. ACM, New York (2008)
-
(2008)
Design Automation Conference (DAC)
, pp. 948-953
-
-
Sen, A.1
Ogale, V.2
Abadir, M.S.3
-
18
-
-
29144439944
-
Dynamic partial-order reduction for model checking software
-
ACM, New York
-
Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: Principles of programming languages (POPL), pp. 110-121. ACM, New York (2005)
-
(2005)
Principles of programming languages (POPL)
, pp. 110-121
-
-
Flanagan, C.1
Godefroid, P.2
-
19
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 558-565 (1978)
-
(1978)
Commun. ACM
, vol.21
, pp. 558-565
-
-
Lamport, L.1
-
20
-
-
34547482005
-
Automatic generation of schedulings for improving the test coverage of systems-on-a-chip. In: Formal Methods in Computer Aided Design (FMCAD)
-
Los Alamitos
-
Helmstetter, C., Maraninchi, F., Maillet-Contoz, L., Moy, M.: Automatic generation of schedulings for improving the test coverage of systems-on-a-chip. In: Formal Methods in Computer Aided Design (FMCAD), pp. 171-178. IEEE Computer Society, Los Alamitos (2006)
-
(2006)
IEEE Computer Society
, pp. 171-178
-
-
Helmstetter, C.1
Maraninchi, F.2
Maillet-Contoz, L.3
Moy, M.4
-
21
-
-
51549111647
-
Partial order reduction for scalable testing of SystemC TLM designs
-
ACM, New York
-
Kundu, S., Ganai, M., Gupta, R.: Partial order reduction for scalable testing of SystemC TLM designs. In: Design Automation Conference (DAC), pp. 936-941. ACM, New York (2008)
-
(2008)
Design Automation Conference (DAC)
, pp. 936-941
-
-
Kundu, S.1
Ganai, M.2
Gupta, R.3
-
22
-
-
47249124522
-
Peephole partial order reduction
-
Ramakrishnan, C.R, Rehof, J, eds, TACAS 2008, Springer, Heidelberg
-
Wang, C., Yang, Z., Kahlon, V., Gupta, A.: Peephole partial order reduction. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 382-396. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4963
, pp. 382-396
-
-
Wang, C.1
Yang, Z.2
Kahlon, V.3
Gupta, A.4
-
23
-
-
85010991128
-
-
Peled, D.: All from one, one for all: On model checking using representatives. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, 697, pp. 409-423. Springer, Heidelberg (1993)
-
Peled, D.: All from one, one for all: On model checking using representatives. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 409-423. Springer, Heidelberg (1993)
-
-
-
-
24
-
-
70350750512
-
-
Peled, D.: Combining partial order reductions with on-the-fly model-checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, 818, pp. 377-390. Springer, Heidelberg (1994)
-
Peled, D.: Combining partial order reductions with on-the-fly model-checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818, pp. 377-390. Springer, Heidelberg (1994)
-
-
-
-
25
-
-
0003758319
-
Partial-Order Methods for the Verification of Concurrent Systems
-
Springer, Heidelberg
-
Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems. LNCS. Springer, Heidelberg (1996)
-
(1996)
LNCS
-
-
Godefroid, P.1
-
26
-
-
70649094418
-
Verifying C++ with STL containers via predicate abstraction
-
IEEE, Los Alamitos
-
Blanc, N., Groce, A., Kroening, D.: Verifying C++ with STL containers via predicate abstraction. In: 22nd IEEE International Conference on Automated Software Engineering (ASE), pp. 521-524. IEEE, Los Alamitos (2007)
-
(2007)
22nd IEEE International Conference on Automated Software Engineering (ASE)
, pp. 521-524
-
-
Blanc, N.1
Groce, A.2
Kroening, D.3
-
27
-
-
33749830015
-
-
Cook, B., Podelski, A., Rybalchenko, A.: Terminator: Beyond safety. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, 4144, pp. 415-418. Springer, Heidelberg (2006)
-
Cook, B., Podelski, A., Rybalchenko, A.: Terminator: Beyond safety. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 415-418. Springer, Heidelberg (2006)
-
-
-
-
28
-
-
84944406286
-
-
Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, 1855, pp. 154-169. Springer, Heidelberg (2000)
-
Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 154-169. Springer, Heidelberg (2000)
-
-
-
-
29
-
-
33847728721
-
-
Clarke, E., Jain, H., Kroening, D.: Verification of SpecC using predicate abstraction. Form. Methods Syst. Des. 30, 5-28 (2007)
-
Clarke, E., Jain, H., Kroening, D.: Verification of SpecC using predicate abstraction. Form. Methods Syst. Des. 30, 5-28 (2007)
-
-
-
-
30
-
-
33745134408
-
Formal verification of SystemC by automatic hardware/software partitioning. In: Formal Methods and Models for Co-Design (MEM-OCODE)
-
Los Alamitos
-
Kroening, D., Sharygina, N.: Formal verification of SystemC by automatic hardware/software partitioning. In: Formal Methods and Models for Co-Design (MEM-OCODE), pp. 101-110. IEEE Computer Society, Los Alamitos (2005)
-
(2005)
IEEE Computer Society
, pp. 101-110
-
-
Kroening, D.1
Sharygina, N.2
|