mCRL2 is a process algebraic language for the formal specification and analysis of the behaviour of distributed systems. The toolset of mCRL2 is the result of software engineering research with a very strong foundation in formal theories/methods, which supports the analysis and manipulation of mCRL2 specifications. This paper presents the application of the language mCRL2 and the mCRL2 toolset to specify and analyse a hardware design: a four-tap FIR filter.
No takes yet. Share an insight, caveat, or question.
Rosenblum et al. (1978) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: