The Insurance Company Case Study

The insurance company case study used in the paper Model Checking Early Requirements Specifications in Tropos published in the Proceedings of the Requirements Engineering Conference in 2001. Here you can find the suite that contains incremental FT specifications of the case study.

Go back to the Formal Tropos Case Studies list.