Now showing items 4-5 of 5

  • PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) 

    Šoková, Veronika; Peringer, Petr; Vojnar, Tomáš (Springer International Publishing, 2020-02-26)
    This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes ...
  • Shepherding Hordes of Markov Chains 

    Češka, Milan (Springer International Publishing, 2019-04-17)
    This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and ...