On-the-Fly Data Flow Analysis Based on Verification Technology | Publicación