Modular specification and verification of interprocess communication.

Eyad Alkassar Ernie Cohen Mark A. Hillebrand Hristo Pentchev

Published in: FMCAD (2010)

Keyphrases

interprocess communication
formal verification
asynchronous circuits
data sharing
formal methods
protocol specification
model checking
distributed environment
operating system
parallel execution
shared memory
data sets
bayesian networks
data access
formal specification