Java programming language 18 Computer software 14 Static analysis 10 Model checking 6 Program translators 6 Propositional variables 6 Alloy 4 Automatic programming 4 Bounded verifications 4 Code analysis 4 Compile time 4 Data structures 4 DynAlloy 4 Dynamic memory 4 Java-like programs 4 KodKod 4 Linked data structures 4 Memory management 4 Memory organizations 4 Memory usage 4 Program variables 4 Propositional formulas 4 Real time systems 4 Real-time specification for javas 4 SAT solvers 4 SAT-based bounded verification 4 SAT-based code analysis 4 Semi-automatics 4 Sequential programs 4 Time series analysis 4