Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Synthesis of Fault-Tolerant Concurrent Programs (Extended Abstract)
 

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-

  

Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University

 

Collections: Computer Technologies and Information Sciences