Data flow analysis 8 Empirical evaluations 4 Formal logic 4 Propositional variables 4 Boolean functions 2 Bounded program verifications 2 Bounded verifications 2 Burgers equations 2 Computational complexity 2 Computer software 2 Control flow 2 Coverage criteria 2 Data flow 2 Dataflow analysis 2 Ddgraph 2 Fault detection 2 Fault tolerant computer systems 2 Finite dimensional 2 Flowcharting 2 Formal methods 2 Heuristic methods 2 Inviscid flows 2 Java programming language 2 Java-like programs 2 Java-like programs verification 2 Levels of abstraction 2 Localized structures 2 Logical representations 2 NP complete problems 2 Optimal systems 2