SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
By Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani. International Conference on Integrated Formal Methods, 2004
335 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Information Systems, Software
View Paper: https://www.semanticscholar.org/paper/87c631d44c288c3596da809d2e55061c48036cdb
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Information Systems
- Benjamin Livshits
- Thomas Zimmermann
- Sunghun Kim
- Premkumar T. Devanbu
- Tao Xie
- Jian Pei
- Andreas Zeller
- Lin Tan
In Software
- Benjamin Livshits
- Thomas Zimmermann
- Laurie J. Hendren
- Ondřej Lhoták
- Tao Xie
- Jian Pei
- Premkumar T. Devanbu
- Hamid Reza Shahriari
Citations in the corpus
- DynaMine: finding common error patterns by mining software revision histories (2005, background): “A great deal of attention has lately been given to addressing application-specific software bugs such as errors in operating system drivers [4, 13], security errors [20, 32], or errors in reliabilitycritical embedded software in domains like avionics [7, 8].”
- Worst‐case execution time analysis for a Java processor (2010, neutral): “[18]), and operating system kernels (e.”
- Adding trace matching with free variables to AspectJ (2005, background): “Examples of this line of work are [2, 16].”