Flat Acceleration in Symbolic Model Checking.

Sbastien Bardin, Alain Finkel, Jrme Leroux, Philippe Schnoebelen

Browse the full ATVA paper archive.