Verification of Concurrent Systems with VerCors. Amighi, A., Blom, S., Darabi, S., Huisman, M., Mostowski, W., & Zaharieva-Stojanovski, M. In SFM, volume 8483, of Lecture Notes in Computer Science, pages 172–216, 2014. Springer.
Verification of Concurrent Systems with VerCors [link]Paper  bibtex   
@inproceedings{DBLP:conf/sfm/AmighiBDHMZ14,
  author    = {Afshin Amighi and Stefan Blom and Saeed Darabi and Marieke Huisman and Wojciech Mostowski and Marina Zaharieva{-}Stojanovski},
  title     = {Verification of Concurrent Systems with VerCors},
  booktitle = {{SFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8483},
  pages     = {172--216},
  publisher = {Springer},
  year      = {2014},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-07317-0_5}
}

Downloads: 0