. "The Anh Pham" . "Formal software verification"@en . "The Anh" . "ccf5d9d91daab236e67aeb286455cdae" . "Partial order"@en . "Ultra-large-scale systems"@en . "Dynamic analysis"@en . "Pham" . "Partial order reduction"@fr . "\u2022 Theory of computation \u2192 Parallel algorithms"@en . . "Unfolding"@fr . . "Software verification"@en . "Software and its engineering \u2192 Model checking"@en . "Distributed program"@fr . "Asynchronous"@fr .