Search for dissertations about: "Pritha Mahata"

Found 1 swedish dissertation containing the words Pritha Mahata.

2. 1. Model Checking Parameterized Timed Systems

   Author : Pritha Mahata; Parosh Abdulla; Jean-Francois Raskin; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Model Checking; Parameterized Systems; Undecidability; Timed Petri Nets; Timed Networks; Computer science; Datavetenskap;

   Abstract : In recent years, there has been much advancement in the area of verification of infinite-state systems. A system can have an infinite state-space due to unbounded data structures such as counters, clocks, stacks, queues, etc. It may also be infinite-state due to parameterization, i.e. READ MORE