Search
Now showing items 1-1 of 1
Article
Generating non-conspiratorial executions
(Elsevier, 2007)
Avoiding conspiratorial executions is useful for debugging, model checking or refinement, and helps implement several wellknown problems in faulty environments; furthermore, avoiding non-equivalence robust executions ...