Efficient Model Checking of Safety Properties

authors: Timo Latvala

venue (conference): Proceedings of the 10th SPIN Workshop

date: 2003

specification languages

• scLTL

keywords

tool, scheck

URL

• http://spinroot.com/spin/Workshops/ws03/Latvala.pdf
• http://spinroot.com/spin/Workshops/ws03/program2003.html
• http://www.tcs.hut.fi/~timo/scheck/

BibTeX

@inproceedings{99247baa-184a-4084-bcef-fd65bb527335,
  title = {Efficient Model Checking of Safety Properties},
  author = {Timo Latvala},
  year = {2003},
  booktitle = {Proceedings of the 10th SPIN Workshop},
  month = {May},
}