| Document Date: 2009-11-27 06:03:53
Open Document File Size: 124,96 KBShare Result on Facebook
Company Yaniv Sa / / Currency pence / / / Facility Weizmann Institute of Science / Ben Gurion University / / IndustryTerm fair discrete systems / synthesis algorithm / polynomial solutions / computing / symbolic algorithm / verification tool / / Organization National Science Foundation / Israel Science Foundation / Department of Computer Science / Ben Gurion University / Weizmann Institute of Science / / Person Rabin / / Position Prime Minister / open controller / Representative / player / controller / arbiter / / Technology synthesis algorithm / symbolic algorithm / 5 Experimental Results The algorithm / time algorithm / / URL www.prosyd.org / /
SocialTag |
Synthesis of Reactive(1) Designs Nir Piterman1 , Amir Pnueli2 , and Yaniv Sa’ar3 1