Refinemant verification of fair transition systems can contribute to PLTL model checking.

Franoise Bellegarde, Samir Chouali, Jacques Julliand

Browse the full MEMOCODE paper archive.