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 FaultTolerant Concurrent Programs (Extended Abstract)
 

Summary: Synthesis of Fault­Tolerant Concurrent Programs
(Extended Abstract)
Anish ARORA 1
Department of Computer Science
The Ohio State University
anish@cis.ohio­state.edu
Paul C. ATTIE 2
School of Computer Science
Florida International University
attie@fiu.edu
E. Allen EMERSON 3
Department of Computer Sciences
The University of Texas at Austin
emerson@cs.utexas.edu
Abstract
Methods for mechanically synthesizing concurrent programs
from temporal logic specifications 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