| | |
Summary: Synthesis of Fault-Tolerant Concurrent Programs
(Extended Abstract)
Anish ARORA1
Department of Computer Science
The Ohio State University
anish@cis.ohio-state.edu
Paul C. ATTIE2
School of Computer Science
Florida International University
attie@fiu.edu
E. Allen EMERSON3
Department of Computer Sciences
The University of Texas at Austin
emerson@cs.utexas.edu
Abstract
Methods for mechanically synthesizing concurrent programs
from temporal logic speci cations obviate the need to manu-
ally construct a program and compose a proof of its correct-
ness EC82, MW84, PR89, PR89b, AM94]. A serious draw-
back of extant synthesis methods, however, is that they pro-
|
