A new tool for random testability evaluation using simulation and formal proof.

Emmanuel Simeu, Anura Puissochet, Jean-Luc Rainard, Anne-Marie Tagant, Michel Poize

Browse the full VTS paper archive.