Rodrigo T. Saad

Learn More
We propose an algorithm for parallel state space construction based on an original concurrent data structure, called a localization table, that aims at better spatial and temporal balance. Our proposal is close in spirit to algorithms based on distributed hash tables, with the distinction that states are dynamically assigned to processors; i.e. we do not(More)
We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm takes benefit from a parallel state space construction algorithm, which we described in a previous work, and shares the same basic set of principles: there are no assumptions on(More)
  • 1