Title: Static Analysis
Subjects: Logic design, Computer simulation, Computer science, Software engineering, Computer programming, Programming languages (electronic computers), Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Programming Techniques, Simulation and Modeling