MapReduce for parallel trace validation of LTL properties.

Sylvain Hallé Maxime Soucy-Boivin

Published in: J. Cloud Comput. (2015)

Keyphrases

parallel processing
parallel computing
high performance data mining
parallel programming
cloud computing
distributed processing
model checking
structural properties
desirable properties
shared memory
real world
data structure
parallel implementation
data partitioning
map reduce