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

Authors:
Francesco Alberti;Silvio Ghilardi;Elena Pagani;Silvio Ranise;Gian Paolo Rossi
Affiliations:
FBK-Irst, Trento, Italia;Universitá degli Studi di Milano, Milano, Italia;Universitá degli Studi di Milano, Milano, Italia;FBK-Irst, Trento, Italia;Universitá degli Studi di Milano, Milano, Italia
Venue:
DISC'10 Proceedings of the 24th international conference on Distributed computing
Year:
2010

Distributed Algorithms

Distributed Algorithms
Time and Message Efficient Reliable Broadcasts

WDAG '90 Proceedings of the 4th International Workshop on Distributed Algorithms
General decidability theorems for infinite-state systems

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Towards SMT Model Checking of Array-Based Systems

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories

TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
MCMT: a model checker modulo theories

IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning

Automated termination in model checking modulo theories

RP'11 Proceedings of the 5th international conference on Reachability problems

Hi-index	0.00