Synthesis of Concurrent Systems with Many Similar Processes

  title={Synthesis of Concurrent Systems with Many Similar Processes},
  author={Paul C. Attie and E. Allen Emerson},
  journal={ACM Trans. Program. Lang. Syst.},
Methods for synthesizing concurrent programs from temporal logicspecifications based on the use of a decision procedure for testingtemporal satisfiability have been proposed by Emerson and Clarkeand by Manna and Wolper. An important advantage of these synthesis methods is that they obviate the need to manually compose a program and manually construct a proof of its correctness. One only has to formulate a precise problem specification; the synthesis method then mechanically constructs acorrect… CONTINUE READING

14 Figures & Tables



Citations per Year

88 Citations

Semantic Scholar estimates that this publication has 88 citations based on the available data.

See our FAQ for additional information.