Sökning: "Christel Baier"

Hittade 1 avhandling innehållade orden Christel Baier.

1. 1. Infinite-state Stochastic and Parameterized Systems

   Författare :Noomene Ben Henda; Parosh Abdulla; Christel Baier; Uppsala universitet; []
   Nyckelord :program verification; model checking; stochastic games; infinite-state systems; Markov chains; reachability; repeated reachability; parameterized systems; approximation; safety; tree systems;

   Sammanfattning : A major current challenge consists in extending formal methods in order to handle infinite-state systems. Infiniteness stems from the fact that the system operates on unbounded data structure such as stacks, queues, clocks, integers; as well as parameterization. LÄS MER