The VerCors Tool Set: Verification of Parallel and Concurrent Software.

Stefan Blom Saeed Darabi Marieke Huisman Wytse Oortwijn

Published in: IFM (2017)

Keyphrases

software tools
parallel processing
learning algorithm
software platform
website
multi agent systems
small number
distributed systems
software development
computer systems