Robby, E. Rodriguez, M. Dwyer, and J. Hatcliff. Checking strong specifications using an extensible software model checking framework. In Tools and Algorithms for the Construction and Analysis of Systems, pages 404--420, 2004. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Flexible Framework for the Estimation of.. - Rodríguez, .. (2004) Self-citation (Robby Guez Dwyer) (Correct)
No context found.
Robby, E. Rodr guez, M. Dwyer, and J. Hatcliff. Checking strong specifications using an extensible software model checking framework. In K. Jensen and A. Podelski, editors, Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, volume 2988 of Lecture Notes in Computer Science, pages 404--420. Springer, 2004.
Counterexample Guided Abstraction Refinement via Program.. - Kroening, Groce, Clarke (2004) (2 citations) (Correct)
No context found.
Robby, E. Rodriguez, M. Dwyer, and J. Hatcliff. Checking strong specifications using an extensible software model checking framework. In Tools and Algorithms for the Construction and Analysis of Systems, pages 404--420, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC