-
1
-
-
26444437197
-
IIV: An Invisible Invariant Verifier
-
Etessami, K., Rajamani, S.K. (eds.) CAV 2005. Springer, Heidelberg
-
Balaban, I., Fang, Y., Pnueli, A., Zuck, L.D.: IIV: An Invisible Invariant Verifier. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 408-412. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3576
, pp. 408-412
-
-
Balaban, I.1
Fang, Y.2
Pnueli, A.3
Zuck, L.D.4
-
2
-
-
84957091429
-
NuSMV: A new symbolic model verifier
-
Halbwachs, N., Peled, D.A. (eds.) CAV 1999. Springer, Heidelberg
-
Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495-499. Springer, Heidelberg (1999)
-
(1999)
LNCS
, vol.1633
, pp. 495-499
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, F.3
Roveri, M.4
-
3
-
-
48949103023
-
Local proofs for linear-time properties of concurrent programs
-
Gupta, A., Malik, S. (eds.) CAV 2008. Springer, Heidelberg
-
Cohen, A., Namjoshi, K.S.: Local proofs for linear-time properties of concurrent programs. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 149-161. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5123
, pp. 149-161
-
-
Cohen, A.1
Namjoshi, K.S.2
-
4
-
-
77954997812
-
A dash of fairness for compositional reasoning
-
Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
-
Cohen, A., Namjoshi, K.S., Sa'ar, Y.: A dash of fairness for compositional reasoning. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 543-557. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6174
, pp. 543-557
-
-
Cohen, A.1
Namjoshi, K.S.2
Sa'ar, Y.3
-
5
-
-
77955005949
-
Split: A compositional LTL verifier
-
Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. Springer, Heidelberg
-
Cohen, A., Namjoshi, K.S., Sa'ar, Y.: Split: A compositional LTL verifier. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 558-561. Springer, Heidelberg (2010)
-
(2010)
LNCS
, vol.6174
, pp. 558-561
-
-
Cohen, A.1
Namjoshi, K.S.2
Sa'ar, Y.3
-
6
-
-
77955004776
-
-
in preparation
-
Cohen, A., Namjoshi, K.S., Sa'ar, Y., Zuck, L.D., Kisyova, K.I.: Parallelizing a symbolic compositional model-checking algorithm (in preparation) (2010)
-
(2010)
Parallelizing a Symbolic Compositional Model-checking Algorithm
-
-
Cohen, A.1
Namjoshi, K.S.2
Sa'ar, Y.3
Zuck, L.D.4
Kisyova, K.I.5
-
7
-
-
54949119613
-
Recycling controllers
-
Gazit, H.K., Ayanian, N., Pappas, G., Kumar, V.: Recycling controllers. In: IEEE Conference on Automation Science and Engineering, Washington (August 2008)
-
IEEE Conference on Automation Science and Engineering, Washington (August 2008)
-
-
Gazit, H.K.1
Ayanian, N.2
Pappas, G.3
Kumar, V.4
-
11
-
-
35248854412
-
Bridging the gap between fair simulation and trace inclusion
-
Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. Springer, Heidelberg
-
Kesten, Y., Piterman, N., Pnueli, A.: Bridging the gap between fair simulation and trace inclusion. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 381-392. Springer, Heidelberg (2003)
-
(2003)
LNCS
, vol.2725
, pp. 381-392
-
-
Kesten, Y.1
Piterman, N.2
Pnueli, A.3
-
12
-
-
77954985757
-
LTL model checking with strong fairness
-
Kesten, Y., Pnueli, A., Raviv, L., Shahar, E.: LTL model checking with strong fairness. Formal Methods in System Design (2002)
-
(2002)
Formal Methods in System Design
-
-
Kesten, Y.1
Pnueli, A.2
Raviv, L.3
Shahar, E.4
-
13
-
-
0003770586
-
-
Cadence Berkeley Lab. Cadence SMV (1998), http://www-cad.eecs.berkeley. edu/kenmcmil/smv
-
(1998)
Cadence SMV
-
-
-
16
-
-
34547379243
-
Faster solutions of rabin and streett games
-
Piterman, N., Pnueli, A.: Faster solutions of rabin and streett games. In: LICS, pp. 275-284 (2006)
-
(2006)
LICS
, pp. 275-284
-
-
Piterman, N.1
Pnueli, A.2
-
17
-
-
33745649604
-
Synthesis of reactive(1) designs
-
Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. Springer, Heidelberg
-
Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive(1) designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 364-380. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3855
, pp. 364-380
-
-
Piterman, N.1
Pnueli, A.2
Sa'ar, Y.3
-
18
-
-
84957365666
-
A platform for combining deductive with algorithmic verification
-
Alur, R., Henzinger, T.A. (eds.) CAV 1996. Springer, Heidelberg
-
Pnueli, A., Shahar, E.: A platform for combining deductive with algorithmic verification. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 184-195. Springer, Heidelberg (1996)
-
(1996)
LNCS
, vol.1102
, pp. 184-195
-
-
Pnueli, A.1
Shahar, E.2
-
19
-
-
0029708239
-
High performance BDD package based on exploiting memory hierarchy
-
June 1996
-
Ranjan, R.K., Sanghavi, J.V., Brayton, R.K., Vincentelli, A.S.: High performance BDD package based on exploiting memory hierarchy. In: DAC'96, June 1996, pp. 635-640 (1996)
-
(1996)
DAC'96
, pp. 635-640
-
-
Ranjan, R.K.1
Sanghavi, J.V.2
Brayton, R.K.3
Vincentelli, A.S.4
-
20
-
-
77954992651
-
-
JTLV - web API
-
Sa'ar, Y.: JTLV - web API, http://jtlv.ysaar.net/resources/javaDoc/API1. 3.2/
-
-
-
Sa'ar, Y.1
-
24
-
-
77953068776
-
Receding horizon control for temporal logic specifications
-
Wongpiromsarn, T., Topcu, U., Murray, R.M.: Receding horizon control for temporal logic specifications. In: HSCC'10 (2010)
-
(2010)
HSCC'10
-
-
Wongpiromsarn, T.1
Topcu, U.2
Murray, R.M.3
|