Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings

  • Bruns G
  • Sutherland I
N/ACitations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

We present an algebraic approach to the model checking of fault-tolerant systems. Fault models and fault-handling mechanisms are modelled using special-purpose process operators. Besides providing for natural models, special-purpose operators allow systems with large state spaces to be verified using systems with small state spaces. To support this verification technique we show that a kind of simulation relation on processes preserves all process operators in tyft/tyxt format.

Cite

CITATION STYLE

APA

Bruns, G., & Sutherland, I. (1997). Algebraic Methodology and Software Technology, 6th International Conference, AMAST ’97, Sydney, Australia, December 13-17, 1997, Proceedings. (M. Johnson, Ed.) (Vol. 1349). Springer. Retrieved from https://doi.org/10.1007/BFb0000458 http://link.springer.com/10.1007/BFb0000458

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free