. "Logique temporelle lin\u00E9aire"@fr . "Syst\u00E8mes de r\u00E9-\u00E9criture des termes"@fr . "Saturation algorithm"@en . "Algorithme de saturation"@fr . "Nguyen" . "Linear temporal logic"@en . "ead7cf21266740b6bcdb563dc12e6b1b" . "V\u00E9rication symbolique"@fr . "Binary decision diagram"@en . . "Diagrammes de d\u00E9cisions binaires"@fr . "Term rewriting system"@en . "Duy Tung" . "Duy Tung Nguyen" . "Symbolic verication"@en .