Verification Of Composed Hardware Systems Using CCS
E. Thomas Schubert · 2005
This paper describes extensions to the interpreter model for verifying a system of (independently verified) components. We propose using a process algebra to specify and reason about the requirements of composed systems. An example is presented to demonstrate how the system synchronization requirements can be specified using CCS. Preliminary work to embed a simple finite sequence variation of CCS within HOL is also presented.