MapReduce for Parallel Trace Validation of LTL Properties.

Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin, Pierre-Antoine Ollivier, Sylvain Hall

Browse the full RV paper archive.