Gleb Naumovich's publications on Optimization of Finite State Verification

Using the Observer Design Pattern for Implementation of Data Flow Analyses. Gleb Naumovich. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2002), pp. 61 -- 68, November 2002.	Abstract BibTeX entry PostScript PDF
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. Gleb Naumovich, Lori A. Clarke, and Jamieson M. Cobleigh. Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Software Engineering Notes, Vol. 24.5, pp. 57 -- 65, September 1999.	Abstract BibTeX entry PostScript PDF
Comparing Implementation Strategies for Composite Data Flow Analysis Problems. Gleb Naumovich, Lori A. Clarke, and Leon J. Osterweil. Proceedings of SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 51 -- 58, June 1998.	Abstract BibTeX entry PostScript PDF