Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In: IFM 2004: 4th International Conference on Integrated Formal Methods. Volume 2999 of LNCS., SpringerVerlag (2004) 1--20  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Abstraction Refinement for Termination - Ron Cook Andreas (2005) Self-citation (Cook) (Correct)
No context found.
T. Ball, B. Cook, V. Levin, and S. K. Rajamani. SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In IFM'2004: Fourth International Conference on Integrated Formal Methods, volume 2999 of LNCS, pages 1--20. Springer, 2004.
Symbolic Model Checking for Asynchronous Boolean Programs - Cook, Kroening, Sharygina (2005) Self-citation (Cook) (Correct)
No context found.
Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In: IFM. (2004)
Cogent: Accurate theorem proving for program verification - Cook, Kroening, Sharygina (2005) Self-citation (Cook) (Correct)
No context found.
Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In: IFM. (2004)
Goanna --- A Static Model Checker - Ansgar Fehnker Ralf (Correct)
No context found.
Ball, T., Cook, B., Levin, V., Rajamani, S.K.: SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft. In: IFM 2004: 4th International Conference on Integrated Formal Methods. Volume 2999 of LNCS., SpringerVerlag (2004) 1--20
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
No context found.
T. Ball, B. Cook, V. Levin, and S. K. Rajamani. SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. Technical Report MSR-TR-2004-08, Microsoft, 2004.
L4Cars - Elphinstone, Heiser, Huuck, Petters, .. (2005) (Correct)
No context found.
T. Ball, B. Cook, V. Levin, and S. K. Rajamani, "SLAM and Static Driver Verifier: Technology transfer of formal methods inside Microsoft," in Integrated Formal Methods: 4th International Conference, IFM 2004.
Turning Eclipse against Itself: Improving the Quality of Eclipse .. - Livshits (2005) (Correct)
No context found.
T. Ball, B. Cook, V. Levin, and S. K. Rajamani. SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. Technical Report MSR-TR2004 -08, Microsoft, 2004. REFERENCES 12
Adding Trace Matching with Free Variables to AspectJ - Chris Allan Pavel (2005) (2 citations) (Correct)
No context found.
Thomas Ball, Byron Cook, Vladimir Levin, and Sriram K. Rajamani. SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. In Eerke Boiten, John Derrick, and Graeme Smith, editors, Integrated Formal Methods, pages 1--20, 2004.
DynaMine: Finding Common Error Patterns by Mining Software .. - Livshits, Zimmermann (2005) (Correct)
No context found.
T. Ball, B. Cook, V. Levin, and S. K. Rajamani. SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. Technical Report MSR-TR-2004-08, Microsoft, 2004.
Locating Matching Method Calls by Mining Revision History.. - Benjamin Livshits Computer (Correct)
No context found.
T. Ball, B. Cook, V. Levin, and S. K. Rajamani. SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. Technical Report MSR-TR-2004-08, Microsoft, 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