Sökning: "Pritha Mahata"
Hittade 1 avhandling innehållade orden Pritha Mahata.
1. Model Checking Parameterized Timed Systems
Sammanfattning : 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. LÄS MER
Resultatsidor:
1