Explore Books on
vérification de logiciels

Verification, model checking, and abstract interpretation

By VMCAI 2004 (2004 Venice, Italy)

Correct hardware design and verification methods

By CHARME 2003 (2001 L'Aquila, Italy)

Test logiciel

By Maurice Rozenberg

Computer Aided Verification

By Orna Grumberg