Brief announcement: Automated support for the design and validation of fault tolerant parameterized systems - A case study

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

Volumn 6343 LNCS, Issue , 2010, Pages 392-394

  Alberti, Francesco ^a   Ghilardi, Silvio ^b   Pagani, Elena ^b   Ranise, Silvio ^a   Rossi, Gian Paolo ^b  

^a ITC IRST   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED SUPPORT; AUTOMATED VERIFICATION; DESIGN PHASE; DESIGN PROCESS; FAULT TOLERANT ALGORITHMS; FAULT-TOLERANT; FORMAL VERIFICATIONS; PARAMETERIZED SYSTEM; SAFETY-CRITICAL; SEQUENCE OF EVENTS;

ALGORITHMS; DESIGN; QUALITY ASSURANCE;

FAULT TOLERANCE;

EID: 78649894807     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15763-9_36     Document Type: Conference Paper

References (8)

1. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.-K.: General decidability theorems for infinite-state systems. In: Proc. of LICS, pp. 313-321 (1996)
2. Ghilardi, S., Nicolini, E., Ranise, S., Zucchelli, D.: Towards SMT Model-Checking of Array-based Systems. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol. 5195, pp. 67-82. Springer, Heidelberg (2008)
3. Ghilardi, S., Ranise, S.: Mcmt: A Model Checker Modulo Theories. To appear in Proc. of IJCAR (July 2010)
4. Ghilardi, S., Ranise, S.: Goal Directed Invariant Synthesis for Model Checking Modulo Theories. In: Giese, M., Waaler, A. (eds.) TABLEAUX 2009. LNCS (LNAI), vol. 5607, pp. 173-188. Springer, Heidelberg (2009)
5. Ghilardi, S., Ranise, S.: A note on the stopping failure model (Unpublished note), http://homes.dsi.unimi.it/~ghilardi/mcmt/stop-fail-note.pdf
6. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
7. The SMT-LIB initiative, http://www.SMT-LIB.org
8. Toueg, S., Chandra, T.D.: Time and Message Efficient Reliable Broadcast. In: van Leeuwen, J., Santoro, N. (eds.) WDAG 1990. LNCS, vol. 486, pp. 289-303. Springer, Heidelberg (1991)