Search for dissertations about: "Frédéric Haziza"
Found 1 swedish dissertation containing the words Frédéric Haziza.
-
1. Few is Just Enough! : Small Model Theorem for Parameterized Verification and Shape Analysis
Abstract : This doctoral thesis considers the automatic verification of parameterized systems, i.e. systems with an arbitrary number of communicating components, such as mutual exclusion protocols, cache coherence protocols or heap manipulating programs. The components may be organized in various topologies such as words, multisets, rings, or trees. READ MORE
Result pages:
1