Synthesis from Knowledge-Based Specifications (Extended Abstract)
Cached
Download Links
- [www.cse.unsw.edu.au]
- [linus.socs.uts.edu.au]
- [www.cs.rice.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 7 - 2 self |
BibTeX
@MISC{Meyden_synthesisfrom,
author = {Ron Van Der Meyden and Moshe Y. Vardi},
title = {Synthesis from Knowledge-Based Specifications (Extended Abstract)},
year = {}
}
Years of Citing Articles
OpenURL
Abstract
) Ron van der Meyden 1 and Moshe Y. Vardi 2 1 Computing Sciences University of Technology, Sydney P.O. Box 123, Broadway, NSW 2007, Australia ron@socs.uts.edu.au http://www-staff.socs.uts.edu.au/ ¸ ron 2 Department of Computer Science Mail Stop 132, Rice University 6100 S. Main Street Houston, TX 77005-1892, U.S.A vardi@cs.rice.edu http://www.cs.rice.edu/ ¸ vardi Abstract. In program synthesis, we transform a specification into a program that is guaranteed to satisfy the specification. In synthesis of reactive systems, the environment in which the program operates may behave nondeterministically, e.g., by generating different sequences of inputs in different runs of the system. To satisfy the specification, the program needs to act so that the specification holds in every computation generated by its interaction with the environment. Often, the program cannot observe all attributes of its environment. In this case, we should transform a specification into a program whose be...







