Verifying channel communication correctness for a multi-core cooperatively scheduled runtime using CSP.
Jan Bækgaard PedersenKevin ChalmersPublished in: FormaliSE@ICSE (2019)
Keyphrases
- communication channels
- constraint satisfaction problems
- cooperative
- constraint satisfaction
- scheduling problem
- multi channel
- multiple access
- communication systems
- information exchange
- communication protocol
- computer networks
- communication networks
- cellular networks
- wireless channels
- communication overhead
- model checking
- decomposition methods
- np complete
- noisy channel
- division multiple access
- tree decompositions