abstract interpretation
51Data-flow analysis — is a technique for gathering information about the possible set of values calculated at various points in a computer program. A program s control flow graph (CFG) is used to determine those parts of a program to which a particular value assigned… …
52Worst-case execution time — The worst case execution time (WCET) of a computational task is the maximum length of time the task could take to execute on a specific hardware platform. Knowing worst case execution times is of prime importance for the schedulability analysis… …
53Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… …
54Coverity — Coverity, Inc. Type Private Industry Software integrity Founded November 2002 Headquarters San Francisco, CA …
55Dynamic program analysis — is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test… …
56Proof checking — is the process of using software for checking proofs for correctness. It is one of the most developed fields in automated reasoning.ee also*Model checking *Abstract interpretation *Static code analysis *Automated theorem proving *Symbolic… …
57Algebra of systems — (AoS) is an executable systems modeling framework for system synthesis and evaluation [Koo 2007a] . It can be used to automate complex model reasoning tasks for system design projects. AoS provides a formal structure for reasoning about elements… …
58Central Garden at Ben-Gurion International Airport — The Central Garden at Ben Gurion International Airport was completed in conjunction with the construction of Terminal 3 of the Ben Gurion International Airport, located just outside of Tel Aviv, Israel, and was designed by Shlomo Aronson… …
59Allen Emerson — Ernest Allen Emerson (* 2. Juni 1954 in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der… …
60E. Allen Emerson — Ernest Allen Emerson (* in Dallas) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Edmund M. Clarke hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet.[1] Emerson ist Informatik Professor an der University of …
