SGER: Symbolic Computation of Bounds on Timing and Probabilistic Properties of Computing Systems

这个探索性研究（SGER）奖是探索基础研究，研究离散状态模型的逻辑，时序和概率特性，这是非常具有挑战性的，因为它是一种严格的符号方法，结合了不同领域的算法，从逻辑验证到数值分析和统计。 这项工作可能会为今天的建模和分析带来全新的方法。越来越复杂的基于计算机的系统，更广泛的影响，从有效的技术，以实现更高的软件可靠性。

This Small Grant for Exploratory Research (SGER) award is to explore foundational research to study logical, timing, and probabilistic properties of a discrete state model, which is quite challenging because it is a strictly symbolic approach that combines algorithms from diverse areas, ranging from logical verification to numerical analysis and statistics. The work could lead to radically new approaches for modeling and analyzing today?s increasingly complex computer-based systems, with broader impacts from efficient techniques for achieving higher software reliability.