Sökning: "Kedar Namjoshi"
Hittade 1 avhandling innehållade orden Kedar Namjoshi.
1. Parameterized Systems : Generalizing and Simplifying Automatic Verification
Sammanfattning : In this thesis we propose general and simple methods for automatic verification of parameterized systems. These are systems consisting of an arbitrary number of identical processes or components. The number of processes defines the size of the system. LÄS MER
Resultatsidor:
1