The VerCors Tool Set: Verification of Parallel and Concurrent Software. Blom, S., Darabi, S., Huisman, M., & Oortwijn, W. In IFM, volume 10510, of Lecture Notes in Computer Science, pages 102–110, 2017. Springer.
The VerCors Tool Set: Verification of Parallel and Concurrent Software [link]Paper  bibtex   
@inproceedings{DBLP:conf/ifm/BlomDHO17,
  author    = {Stefan Blom and Saeed Darabi and Marieke Huisman and Wytse Oortwijn},
  title     = {The VerCors Tool Set: Verification of Parallel and Concurrent Software},
  booktitle = {{IFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10510},
  pages     = {102--110},
  publisher = {Springer},
  year      = {2017},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-66845-1_7}
}

Downloads: 0