-
1
-
-
35248827669
-
-
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Software verification with Blast, in Proceedings of the 10th International Workshop on Model Checking of Software (SPIN), ser. Lecture Notes in Computer Science, T. Ball and S. Rajamani, Eds., 2648, Portland, OR, May 2003, pp. 235-239.
-
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, "Software verification with Blast," in Proceedings of the 10th International Workshop on Model Checking of Software (SPIN), ser. Lecture Notes in Computer Science, T. Ball and S. Rajamani, Eds., vol. 2648, Portland, OR, May 2003, pp. 235-239.
-
-
-
-
2
-
-
70350760682
-
-
T. Ball and S. Rajamani, The SLAM toolkit, in 13th Annual Conference on Computer Aided Verification (CAV 2001), ser. Lecture Notes in Computer Science, G. Berry, H. Comon, and A. Finkel, Eds., 2102. Paris, France: Springer-Verlag, July 2001, pp. 260-264.
-
T. Ball and S. Rajamani, "The SLAM toolkit," in 13th Annual Conference on Computer Aided Verification (CAV 2001), ser. Lecture Notes in Computer Science, G. Berry, H. Comon, and A. Finkel, Eds., vol. 2102. Paris, France: Springer-Verlag, July 2001, pp. 260-264.
-
-
-
-
3
-
-
0033681411
-
Verifying time partitioning in the DEOS scheduling kernel
-
Limerick, Ireland: ACM, June
-
J. Penix, W. Visser, C. Pasaranu, E. Engstrom, A. Larson, and N. Weininger, "Verifying time partitioning in the DEOS scheduling kernel," in 22nd International Conference on Software Engineering (ICSEOO). Limerick, Ireland: ACM, June 2000, pp. 488-497.
-
(2000)
22nd International Conference on Software Engineering (ICSEOO)
, pp. 488-497
-
-
Penix, J.1
Visser, W.2
Pasaranu, C.3
Engstrom, E.4
Larson, A.5
Weininger, N.6
-
4
-
-
77954500284
-
Bogor: An extensible and highly-modular model checking framework
-
September
-
Robby, M. B. Dwyer, and J. Hatcliff, "Bogor: An extensible and highly-modular model checking framework," ACM SIGSOFT Software Engineering Notes, vol. 28, no. 5, pp. 267-276, September 2003.
-
(2003)
ACM SIGSOFT Software Engineering Notes
, vol.28
, Issue.5
, pp. 267-276
-
-
Robby, M.B.D.1
Hatcliff, J.2
-
5
-
-
84947232436
-
-
T. Ball and S. K. Rajamani, Bebop: A symbolic model checker for boolean programs, in 7th International SPIN Workshop, ser. Lecture Notes in Computer Science, K. Havelund, J. Penix, and W. Visser, Eds., 1885. Springer, August 2000, pp. 113-130. [Online]. Available: citeseer.nj.nec.com/bal100bebop.html
-
T. Ball and S. K. Rajamani, "Bebop: A symbolic model checker for boolean programs," in 7th International SPIN Workshop, ser. Lecture Notes in Computer Science, K. Havelund, J. Penix, and W. Visser, Eds., vol. 1885. Springer, August 2000, pp. 113-130. [Online]. Available: citeseer.nj.nec.com/bal100bebop.html
-
-
-
-
6
-
-
0037384036
-
Model checking programs
-
W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda, "Model checking programs." Automated Software Engineering, vol. 10, no. 2, pp. 203-232, 2003.
-
(2003)
Automated Software Engineering
, vol.10
, Issue.2
, pp. 203-232
-
-
Visser, W.1
Havelund, K.2
Brat, G.P.3
Park, S.4
Lerda, F.5
-
7
-
-
31644443731
-
Directed error detection in C++ with the assembly-level model checker StEAM
-
Proceedings of 11th International SPIN Workshop, Barcelona, Spain, Springer
-
P. Leven, T. Mehler, and S. Edelkamp, "Directed error detection in C++ with the assembly-level model checker StEAM," in Proceedings of 11th International SPIN Workshop, Barcelona, Spain, ser. Lecture Notes in Computer Science, vol. 2989. Springer, 2004, pp. 39-56.
-
(2004)
ser. Lecture Notes in Computer Science
, vol.2989
, pp. 39-56
-
-
Leven, P.1
Mehler, T.2
Edelkamp, S.3
-
8
-
-
26944447100
-
Model checking machine code with the GNU debugger
-
12th International SPIN Workshop, San Francisco, USA: Springer, August
-
E. G. Mercer and M. Jones, "Model checking machine code with the GNU debugger," in 12th International SPIN Workshop, ser. Lecture Notes in Computer Science, vol. 3639. San Francisco, USA: Springer, August 2005, pp. 251-265.
-
(2005)
ser. Lecture Notes in Computer Science
, vol.3639
, pp. 251-265
-
-
Mercer, E.G.1
Jones, M.2
-
9
-
-
0031622741
-
Validation with guided search of the state space
-
Online, Available
-
C. Yang and D. Dill, "Validation with guided search of the state space," in 35th Design Automation Conference (DAC98), 1998, pp. 599-604. [Online]. Available: http://citeseer.nj.nec.com/yang98validation.html
-
(1998)
35th Design Automation Conference (DAC98)
, pp. 599-604
-
-
Yang, C.1
Dill, D.2
-
10
-
-
84894638887
-
Directed explicit model checking with HSF-SPIN
-
Proc. of the 7th International SPIN Workshop, Springer-Verlag
-
S. Edelkamp, A. Lluch-Lafuente, and S. Leue, "Directed explicit model checking with HSF-SPIN," in Proc. of the 7th International SPIN Workshop, ser. Lecture Notes in Computer Science, no. 2057. Springer-Verlag, 2001.
-
(2001)
ser. Lecture Notes in Computer Science
, Issue.2057
-
-
Edelkamp, S.1
Lluch-Lafuente, A.2
Leue, S.3
-
11
-
-
33244477860
-
Guided model checking with a bayesian meta-heuristic
-
K. Seppi, M. Jones, and P. Lamborn, "Guided model checking with a bayesian meta-heuristic." Fundam. Inform., vol. 70, no. 1-2, pp. 111-126, 2006.
-
(2006)
Fundam. Inform
, vol.70
, Issue.1-2
, pp. 111-126
-
-
Seppi, K.1
Jones, M.2
Lamborn, P.3
-
14
-
-
0035001143
-
The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification
-
Online, Available
-
J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil, "The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification," in International Conference on Software Engineering, 2001, pp. 37-46. [Online]. Available: citeseer.ist.psu.edu/ cobleigh01right.html
-
(2001)
International Conference on Software Engineering
, pp. 37-46
-
-
Cobleigh, J.M.1
Clarke, L.A.2
Osterweil, L.J.3
-
15
-
-
34250663814
-
A Context-Sensitive Structural Heuristic for Guided Search Model Checking
-
Long Beach, California, USA, November
-
N. Rungta and E. G. Mercer, "A Context-Sensitive Structural Heuristic for Guided Search Model Checking," in 20th IEEE/ACM International Conference on Automated Software Engineering, Long Beach, California, USA, November 2005, pp. 410-413.
-
(2005)
20th IEEE/ACM International Conference on Automated Software Engineering
, pp. 410-413
-
-
Rungta, N.1
Mercer, E.G.2
|