Login / Signup
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