Verifying Large SDL-Specifications Using Model Checking

@inproceedings{Sidorova2001VerifyingLS,
  title={Verifying Large SDL-Specifications Using Model Checking},
  author={Natalia Sidorova and Martin Steffen},
  booktitle={SDL Forum},
  year={2001}
}
ion: Does system S satisfy property f ? abstract interpretationinterpretation “preservation” f ⇐ f