NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
International journal on software tools for technology transfer : STTT, Tập 15, Số 5_6, 2013
Mục lục:
DòngNội dung
1Algorithmic program synthesis: introduction / Rastislav Bodik, Barbara Jobstmann
2Abstraction-guided synthesis of synchronization / Martin Vechev, Eran Yahav, Greta Yorsh
3Safety first: a two-stage algorithm for the synthesis of reactive systems / Saqib Sohail, Fabio Somenzi
4Functional synthesis for linear arithmetic and sets / Viktor Kuncak and others
5Program sketching / Armando Solar-Lezama
6Template-based program verification and program synthesis / Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster
7Bounded synthesis / Bernd Finkbeiner, Sven Schewe
8Exploiting structure in LTL synthesis / Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
9Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies / Robert Könighofer, Georg Hofferek, Roderick Bloem
10Synthesis of AMBA AHB from formal specification: a case study / Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
11Synthesis from component libraries / Yoad Lustig, Moshe Y. Vardi