Anzu: A tool for property synthesis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4590 LNCS, Issue , 2007, Pages 258-262

  Jobstmann, Barbara ^a   Galler, Stefan ^a   Weiglhofer, Martin ^a   Bloem, Roderick ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; SOFTWARE DESIGN; TEMPORAL LOGIC;

FINITE STATE SYSTEMS; LINEAR TEMPORAL LOGIC (LTL) FORMULAS;

SPECIFICATION LANGUAGES;

EID: 38149009557     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73368-3_29     Document Type: Conference Paper

References (10)

1. ARM Ltd. AMBA Specification (Rev. 2) (1999) Available from www.arm.com
2. Bloem, R., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., Weiglhofer, M.: Automatic hardware synthesis from specifications: A case study. In: Proceedings of the Conference on Design, Automation and Test in Europe (to Appear)
3. Büchi, J.R., Landweber, L.H.: Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society 138, 295-311 (1969)
4. Church, A.: Logic, arithmetic and automata. In: Proceedings International Mathematical Congress (1962)
5. Kukula, J.H., Shiple, T.R.: Building circuits from relations. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 113-123. Springer, Heidelberg (2000)
6. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive(1) designs. In: Proc. Verification, Model Checking, and Abstract Interpretation, pp. 364-380 (2006)
7. Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: Proc. Symposium on Principles of Programming Languages (POPL '89), pp. 179-190 (1989)
8. Rabin, M.O.: Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society 141, 1-35 (1969)
9. Rosner, R.: Modular Synthesis of Reactive Systems. PhD thesis, Weizmann Institute of Science (1992)
10. Somenzi, F.: CUDD: CU Decision Diagram Package. University of Colorado at Boulder ftp://vlsi.colorado.edu/pub/