Search for dissertations about: "repeated reachability"

Found 1 swedish dissertation containing the words repeated reachability.

2. 1. Infinite-state Stochastic and Parameterized Systems

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

   Abstract : 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. READ MORE