RAT: A tool for the formal analysis of requirements

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

Volumn 4590 LNCS, Issue , 2007, Pages 263-267

  Bloem, Roderick ^a   Cavada, Roberto ^b   Pill, Ingo ^a   Roveri, Marco ^b   Tchaltsev, Andrei ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; QUALITY ASSURANCE; REQUIREMENTS ENGINEERING; SEMANTICS; SPECIFICATION LANGUAGES; VERIFICATION;

FORMAL ANALYSIS; FORMAL SPECIFICATIONS; INDUSTRIAL PROJECTS;

FORMAL LANGUAGES;

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

References (12)

1. Accellera. Property specification language - reference manual, version 1.01 (April 2003)
2. Auerbach, G., Benalycherif, L., Fedeli, A., Fisman, D., Mclsaac, A., Winkelmann, K.: Case studies in property-based requirements specification, Prosyd Delivarable D 1.4/1 (November 2006)http://www.prosyd.org
3. Biere, A., Cimatti, A., Clarke, E.M., Zhu, Y.: Symbolic model checking without BDDs. In: Cleaveland, W.R. (ed.) ETAPS 1999 and TACAS 1999. LNCS, vol. 1579, pp. 193-207. Springer, Heidelberg (1999)
4. Bloem, R., Cavada, R., Eisner, C., Pill, I., Roveri, M., Semprini, S.: Manual for property Simulation and property assurance tool, Prosyd Delivarable D1.2/4-5 (November 2005) http://www.prosyd.org
5. Bloem, R., Galler, S., Jobstman, B., Weiglhofer, M., Piterman, N., Pnueli, A.: Automatic hardware synthesis from specifications: A case study. In: Proceeding of DATE'07 (to appear)
6. Brayton, R.K., et al.: A system for verification and synthesis. In: Henzinger, T., Alur, R. (eds.) CAV 1996. LNCS, vol. 1102, pp. 428-432. Springer, Heidelberg (1996)
7. Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a new Symbolic Model Verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495-499. Springer, Heidelberg (1999)
8. Cimatti, A., Roveri, M., Tchaltsev, A.: Manual for property realizability tool, Prosyd Delivarable D1.2/8 (December 2006) http://www.prosyd.org
9. Kurshan, R.: Computer-Aided Verification of Coordinating Processes: the automata theoretic approach. Princeton University Press, Princeton, NJ (1994)
10. Pill, I., Semprini, S., Cavada, R., Roveri, M., Bloem, R., Cimatti, A.: Formal analysis of hardware requirements. In: Design Automation Conference, pp. 821-826 (2006)
11. Piterman, N., Pnueli, A., Sa'ar, Y.: Synthesis of reactive(1) designs. In: VMCAI, pp. 364-380 (2006)
12. Wiegers, K.E.: Inspecting requirements. StickyMinds Weekly Colum (July 2001)