Model Checking Z Specifications Using SAL

Graeme Smith, Luke Wildman. Model Checking Z Specifications Using SAL. In Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings. Volume 3455 of Lecture Notes in Computer Science, pages 85-103, Springer, 2005. [doi]

@inproceedings{SmithW05:0,
  title = {Model Checking Z Specifications Using SAL},
  author = {Graeme Smith and Luke Wildman},
  year = {2005},
  doi = {10.1007/11415787_6},
  url = {http://dx.doi.org/10.1007/11415787_6},
  tags = {model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/SmithW05%3A0},
  cites = {0},
  citedby = {0},
  pages = {85-103},
  booktitle = {ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings},
  editor = {Helen Treharne and Steve King and Martin C. Henson and Steve A. Schneider},
  volume = {3455},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25559-1},
}