Verifying Concurrent Programs Using Contracts.

Ricardo J. Dias Carla Ferreira Jan Fiedor João M. Lourenço Ales Smrcka Diogo G. Sousa Tomás Vojnar

Published in: ICST (2017)

Keyphrases

concurrent programs
process algebra
model checking
supply chain
concurrent programming
asynchronous circuits
formal specification
database
artificial intelligence
machine learning
natural language
expert systems
general purpose
belief revision
concurrent processes